Transformational design of real-time systems Part I: From requirements to program specifications Michael SchenkeErnst-RĂ¼diger Olderog Pages: 1 - 65
Transformational design of real-time systems. Part II: From program specifications to programs Michael Schenke Pages: 67 - 96