Real time uml :developing efficient objects for embedded system - Douglas, Bruce Powel (Pearson Education, 2000)