Automatizacija projektiranja mikroračunarskih sistema koji rade u stvarnom vremenu : doktorska disertacija - Žagar, Mario (Zagreb : Elektrotehnički fakultet - Zagreb, 1985)