@misc{FormalMethods,
     author = {J. Bowen},
     title = {{Formal Methods Homepage}},
     note = {\\ {\tt http://archive.comlab.ox.ac.uk/formal-methods.html}}
}

%%%%%%%SDL

@book{Braek1993,
   author    = {Br{\ae}k, R. and Haugen, {\O}.},
   title     = {{Engineering Real Time Systems: An Object-Oriented 
                 Methodology Using SDL}},
   year      = {1993},
   series   = {The BcS Practioner Series},
   publisher = {Prentice Hall}
}

@book{Ellsberger1997,
   author    = {Ellsberger J. and Hogrefe, D. and Sarma, A.},
   title     = {{SDL - Formal Object-oriented Language for Communicating 
                 Systems}},
   year      = {1997},
   publisher = {Prentice Hall}
}

@phdthesis{Hinkel1998,
        author = {Hinkel, U.},
        title = {{Formale, semantische Fundierung und eine darauf 
                 abgest\"utzte Verifikationsmethode f\"ur SDL}},
        type   = {Dissertation},
        school = {Technische Universit\"at M\"unchen},
        year = {1998},
}

@proceedings{SDLCompNet1996,
       title = {{Special Issue: SDL and MSC}},
       editor = {Haugen, {\O}.},
       publisher = {Elsevier Science},
       year   = {1996},
       note  ={{Computer Networks and ISDN Systems, 28:12}}
}

@misc{SDLWeb,
      title = {{Homepage {\it SDL Forum Society}}},
      note = {{\tt http://www.sdl-forum.org/}}
} 

@misc{SDLWebTutorial,
     author = {{Telelogic}},
     title = {{Specification and Description Language (SDL) Web-Tutorial}},
     note = {\\ {\tt http://www.webproforum.com/sdl/index.html}}
}

%%%%%%%Unity

@book{Chandy1989,
   author    = {Chandy, K.M. and Misra, J.},
   title     = {{Parallel Program Design. A Foundation.}},
   year      = {1989},
   publisher = {Addison-Wesley}
}

@article{Misra1995,  
   author = {Misra, J.},
   title = {{A Logic for Concurrent Programming}},
   journal = {{Journal of Computer and Software Engineering}},
   year = 1995, 
   pages  = {239-300},
   volume = 3,
   number = 2
}

@misc{Krueger1997,
   author = {Kr{\"u}ger, I.},
   title = {{An Introduction to UNITY and Seuss}},
   institution = {Technische Universit\"{a}t M\"{u}nchen},
   note      = {Ausarbeitung zu einem internen Vortrag},
   year  = 1997
}

@misc{Esparza1999,
   author = {Esparza, J.},
   title = {{An Introduction to UNITY}},
   institution = {Technische Universit\"{a}t M\"{u}nchen},
   note      = {Folien},
   year      = 1999
}

@misc{Knapp1994,
   author = {Knapp, E.},
   title = {{Examples of Program Construction using UNITY}},
   institution = {PSP Group at UT Austin},
   note      = {Notes on Unity},
   year      = 1994
}

@misc{UnityWeb,
     author = {Misra, J.},
     title = {{Homepage der {\em PSP Group at UT Austin} (Unity)}},
     note = {\\ {\tt http://www.cs.utexas.edu/users/psp/welcome.html\#unitysec}}
}

%%%%%%%Statecharts

@book{HarelPoliti1998,
   author    = {Harel, D. and Politi, M.},
   title     = {{Modeling Reactive Systems with Statecharts: 
                 The STATEMATE Approach}},
   year      = {1998},
   publisher = {McGraw-Hill}
}

@phdthesis{Scholz1998,
        author = {Scholz, P.},
        title = {{Design of Reactive Systems and their Distributed
                  Implementation with Statecharts}},
        type  = {Dissertation},
        school = {Technische Universit\"at M\"unchen},
        year = {1998},
}

@inproceedings{Beeck1994,
  Author = {von der Beeck, M.},
  Title = {{ A Comparison of Statecharts Variants}},
  Booktitle = {Proc. Formal Techniques in Real-Time and 
                     Fault-Tolerant Systems (FTRTFT'94)},
  Year = {1994},
  Publisher = {Springer},
  series = {LNCS 863},
  Editor = {H. Langmaak, W.-P. de Roever and J. Vytopil},
}

@article{Harel1996,  
   author = {D. Harel and A. Naamad},
   title = {{The STATEMATE Semantics of Statecharts}},
   journal = {{ACM Transactions Software Engineering Methods}},
   year = 1996, 
   volume = 5,
   number = 4
}

@article{Harel1987,  
   author = {D. Harel},
   title = {{Statecharts: A Visual Formalism for Complex Systems}},
   journal = {{Science of Compuer Programming}},
   year = 1987, 
   volume = 8,
   pages = {231-274}
}

@misc{StatechartWeb,
     author = {Ibrahim, B.},
     title = {{Visual Languages/Statecharts on the Web}},
     note = {\\ {\tt http://cuiwww.unige.ch/Visual/statecharts.html} 
             \\ {\tt http://www.di.ufpe.br/~lrl/statecharts/}}
}

%%%%%%%CSP

@book{Hoare1985,
   author    = {Hoare, C.A.R.},
   title     = {{Communicating Sequential Processes}},
   year      = {1985},
   publisher = {Prentice-Hall}
}

@misc{CSPWeb,
     author = {Bowen, J.},
     title = {{The {\em CSP archive} at the Oxford University
               Computing Laboratory}},
     note = {\\ {\tt http://archive.comlab.ox.ac.uk/csp.html}}
}

%%%%%%%ROOM

@book{Selic1994,
   author    = {Selic, B. and Gullekson, G. and Ward, P.T.},
   title     = {{Real-Time Object-Oriented Modeling}},
   year      = {1994},
   publisher = {Wiley}
}

@misc{RoomWeb,
     author = {ObjecTime},
     title = {{Homepage von {\em ObjecTime}}},
     note = {{\tt http://www.objectime.com/}}
}