Formal Abstract Architecture for Use Case Specifications. - Ondrej Rysavý; Frantisek Bures (ECBS, 2004)

A Framework for Formal Specification of Embedded Systems. - Frantisek Bures; Ondrej Rysavý; Frantisek Scuglik; Miroslav Svéda (ECBS, 2005)