TY  - SER
AU  - Coen-Porisinio, Alberto
AU  - Ghezzi, Carlo
AU  - Kemmerer, Richard A.
TI  - Specitication of Realtime Systems Using Astral
KW  -  Formal Methods
KW  -  Formal Specification
KW  - Temporal Logic
ER  -