Carlo A. Furia, Marco Mazzucchelli, Paola Spoletini, Mara Tanelli. Towards the exhaustive verification of real-time aspects in controller implementation. In IEEE International Conference on Computer-Aided Control Systems, CACSD 2008, San Antonio, TX, USA, September 3-5, 2008. pages 1265-1270, IEEE, 2008. [doi]
Abstract is missing.