1. UML MODEL CHECKING. Authors: DAN CHIOREAN, ADRIAN CARCU, MIHAI PASCA, CRISTIAN BOTIZA, HORIA CHIOREAN, SORIN MOLDOVAN.2. A PROPERTY SHEET. Authors: SORIN MOLDOVAN.