A Framework for Specification and Validation of Real-Time Systems Using <i>Circus</i> Actions.

Adnan Sherif Jifeng He Ana Cavalcanti Augusto Sampaio A Framework for Specification and Validation of Real-Time Systems Using <i>Circus</i> Actions. 478-493 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=478 2004 conf/ictac/2004 ICTAC db/conf/ictac/ictac2004.html#SherifHCS04