Modeling And Analysis Of Realtime And Embedded Systems With Uml And Marte Developing Cyberphysical Systems by Bran Selic | Menrva Books | MenrvaBooks