Flake: Towards the Compositional Verification of Real-Time UML Designs (2003)

by H Giese, M Tichy, S Burmester, W Schäfer, S
Venue:In Proc. of the European Software Engineering Conference (ESEC