Igor Siveroni Andrea Zisman George Spanoudakis Property Specification and Static Verification of UML Models. 96-103 2008 ARES http://doi.ieeecomputersociety.org/10.1109/ARES.2008.194 conf/IEEEares/2008 db/conf/IEEEares/ares2008.html#SiveroniZS08