Model-based Development of Real Time Systems using RTSM Tool. - Egidijus Kazanavicius; Agnius Liutkevicius; Arunas Vrubliauskas; R. Zukaitis; V. Kazanavicius (IASTED Conf. on Software Engineering, 2006)