Towards the exhaustive verification of real-time aspects in controller implementation. - Carlo A. Furia; Marco Mazzucchelli; Paola Spoletini; Mara Tanelli (CACSD, 2008)