Introducing model-based techniques into development of real-time embedded applications - Babić, Josip, inženjer elektrotehnike, 1982- (Array, 2011)