Rajiv Kumar Poddar Purandar Bhaduri Verification of Giotto based Embedded Control Systems. 266-293 2006 13 Nord. J. Comput. 4 db/journals/njc/njc13.html#PoddarB06