Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy disertační práce - Bližňák, Michal, 1977- (2007)