Specifying Industrial Real-Time Systems with a Temporal Logic Framework.

Emanuele Ciapessoni Edoardo Corsetti Manlio Migliorati Elena Ratto Ernani Crivelli Specifying Industrial Real-Time Systems with a Temporal Logic Framework. 21-61 1996 6 International Journal of Software Engineering and Knowledge Engineering 1 http://dx.doi.org/10.1142/S021819409600003X db/journals/ijseke/ijseke6.html#CiapessoniCMRC96