Test engineering language for avionic systems - Mainini, M.; Mariani, G.P. (My University, 1990)