Automated Formal Verification for UML-based Model Driven Design of Embedded Systems - Kardoš, Martin (STU v Bratislave FIIT, 2005)