STATEMATE to SCADE model translation. - R. Venky; Ulka Shrotri; Aniket Kulkarni; Prasad Bokil (ISEC, 2008)