S.: Towards the compositional verification of real-time uml designs (2003)

by H Giese, M Tichy, S Burmester, W Schäfer, Flake
Venue:In: ESEC/FSE