1. Bræk , Haugen (1993):
Engineering real time systems.
An object oriented methodology using SDL
Hemel Hempstead: Prentice Hall
Chapter 1-8, 12 232 p
2. Selected papers from Telektronikk vol 2000/4
Special issue on telecommunication languages:
R. Bræk: On Methodology 11 p
Ø. Haugen: MSC-2000: interacting with the future 8 p
B. Møller-Pedersen: SDL combined with UML 15 p
R. Reed: SDL-2000 for new millennium systems 16 p
R. Sanders: Implementing from SDL 10 p
3. P.J. Emstad, F.A.Aagesen, R. Bræk:
Process algebra in a nutshell 10 p
4. Ø. Haugen, B. Møller-Pedersen, Th. Weigert:
"Structural Modeling with UML2.0" 23 p
5. F.A. Kraemer, R. Bræk, P. Herrmann:
Compositional Service Engineering with Arctis 16 p
SUM 341 p