Verification of Giotto based Embedded Control Systems. - Rajiv Kumar Poddar; Purandar Bhaduri (Nord. J. Comput., 2006)