A Novel Approach to Modechart Verification of Real-Time Systems. - Jan Fiedor; Marek Gach; Milan Ceska 001 (EUROCAST (1), 2011)