On requirement verification for evolving Statecharts specifications

Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini. On requirement verification for evolving Statecharts specifications. Requir. Eng., 19(3):231-255, 2014. [doi]

Bibliographies