ReUML: a UML Profile for Modeling and Verification of Reactive Systems.

Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani

Browse the full ICSEA paper archive.