Coen-Porisinio, Alberto Ghezzi, Carlo Kemmerer, Richard A. <br/><br/>
Specitication of Realtime Systems Using Astral 

 - 572-598 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Formal Methods<br/> Formal Specification<br/>Temporal Logic