Miroslav Svéda Charles Rattray Jerzy W. Rozenblit Formal Specifications of Computer-Based Systems. 224-225 2002 conf/ecbs/2002 ECBS http://computer.org/proceedings/ecbs/1549/15490224abs.htm db/conf/ecbs/ecbs2002.html#SvedaRR02