Rigorous system design - Sifakis, Joseph 1946- (Now Publ, 2012)