Formal verification of UML state diagrams

Christine Choppy, Kais Klai, Hacene Zidani
2011 Software engineering notes  
doi:10.1145/1921532.1921561 fatcat:y6mwmnmn3fcc3dkoo66cf2wimu