Title: Embedded system modelling
First published: 1993