ECSAM--A method for the analysis of complex embedded systems and their software (1989)

by J Z Lavi, M Winokur
Venue:in Proc. Structured Techn,iques Assoc. Conf. STA5