Validating Real-Time Constraints in Embedded Systems. - R. K. Shyamasundar; J. V. Aghav (PRDC, 2001)