Object-Oriented Logic Specifications for Real-Time Systems - San Pietro, P (1994)
(Ph. D. Thesis) (in Italian)