Languages for digital embedded systems - Edwards, Stephen A. 1970- (Kluwer, 2000)