Bibliography

References

    [1] Abadi, M. and Lamport, L. (1988). The Existence of Refinement Mappings. Digital Systems Research Center Open Report, Palo Alto, CA

    [2] Aggarwal, S., Barbara, D., Cunto, W. and Garey, M. R. (1989). The Complexity of Collapsing Reachability Graphs. Automatic Verification Methods for Finite State Systems, Grenoble, France June 1989, Pages: 264-274, Springer-Verlag LNCS 407 0-387-52148-8

    [3] Agha, G. (1990). Concurrent Object Oriented Programming

    [4] Aho, A., Sethi, R. and Ullman, J. D. (1986). Compilers. Principles, Techniques and Tools. Reading, Massachusetts, Addison-Wesley 0-201-10088-6

    [5] Algayres, B., Lejeune, Y., Hugonnet, F. and Hantz, F. (1993). The AVALON-Project: A VALidatiON Environment for SDL/MSC Descriptions. SDL '93 Using Objects. Proceedings of the Sixth SDL Forum, Darmstadt, Germany October 12th - 16th 1993, Pages: 221-235, North Holland 0-444-81486-8

    [6] American Heritage Dictionary (1979). American Heritage Dictionary of the English Language. Boston, American Heritage Publishing Co. Inc. and Houghton Mifflin Company

    [7] Andersen, E. S. (1989). Systemutvikling. Oslo, NKI Forlaget 82-562-1958-0

    [8] Ando, T., Ohta, M. and Takahashi, K. (1991). Translation from SDL to LOTOS. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, North Holland: Elsevier

    [9] Baeten, J. C. M. and Mauw, S. (1994). Delayed choice: an operator for joining Message Sequence Charts. FORTE 94, Bern, Switzerland, October 1994

    [10] Baeten, J. C. M. and Weijland, W. P. (1990). Process Algebra. Cambridge, Cambridge University Press 18

    [11] Barringer, H. (1985). A Survey of Verification Techniques for Parallel Programs. Berlin, Springer-Verlag LNCS 191 3-540-15239-3

    [12] Belina, F., Hogrefe, D. and Sarma, A. (1991). SDL with Applications from Protocol Specification. Hemel Hempstead:, Prentice Hall

    [13] Birtwistle, G. M., Dahl, O.-J., Myhrhaug, B. and Nygaard, K. (1975). SIMULA BEGIN. New York, Petrocelli/Charter

    [14] Bjørner, D., Broy, M. and Pottosin, I. V., Eds. (1993). Formal methods in programming and their applications. Academgorodok, Novosibirsk, Russia, Springer Verlag LNCS 735 3-540-57316-x

    [15] Boehm, B. W. (1981). Software Engineering Economics. Englewood Cliffs:, Prentice Hall

    [16] Boehm, B. W. (1986). "A Spiral Model of Software Development and Enhancement." ACM SIGSOFT Software Engineering Notes 11(4)

    [17] Boehm, B. W. (1987). "Improving Software productivity." IEEE Computer (September 1987)

    [18] Bolognesi, T. and Brinksma, E. (1987). "Introduction to the ISO Specification Language LOTOS." computer Networks and ISDN Systems 14 25-59

    [19] Booch, G. (1991). Object-Oriented Design with Applications. Redwood City, Benjamin/Cummins

    [20] Booch, G. (1993). Object-Oriented Analysis and Design with Applications. Second Edition. Addison Wesley Longman, Reading, Mass. 0-8053-5340-2

    [21] Booch, G., Jacobsen, I. and Rumbaugh, J. (1997a). The Unified Modeling Language , Version 1.0, Rational Software Corporation, http://www.rational.com (January 1997)

    [22] Booch, G., Rumbaugh, J. and Jacobsen, I. (1998). Unified Modeling Language User Guide. Addison Wesley Longman, Reading Mass. 0-201-57168-4 (October 1998)

    [23] Bowen, J. and Hinchey, M. G. (1994). "Formal methods and safety-critical standards." Computer (August 1994) 68-71

    [24] Bræk, R. and Haugen, Ø. (1993). Engineering Real Time Systems. Hemel Hempstead, Prentice Hall International 0-13-034448-6

    [25] Bræk, R., Gorman, J., Haugen, Ø., Melby, G., Møller-Pedersen, B. and Sanders R. (1993). Quality by construction exemplified by TIMe - The Integrated Methodology, Teletronikk, Vol 95 (1) ISSN 0085-7130 pp 73-82, 1999

    [26] Brinch Hansen, P. (1973). Operating System Principles. Englewood Cliffs, New Jersey, Prentice-Hall 0-13-637843-9

    [27] Brooks, F. P. J. (1987). "No silver Bullet. Essence and Accidents of Software Engineering." IEEE Computer April 1987

    [28] Brookshear, J. G. (1989). Theory of Computation. Formal Languages, Automata, and Complexity. Redwood City, California, The Benjamin/Cummings Publishing Company, Inc. 0-8053-0143-7

    [29] Broy, Dederichs, Dendorfer, Fuchs, Gritzner and Weber (1993). The design of Distributed Systems. An Introduction to FOCUS. Technische Universität München

    [30] Broy, M. (1987). "Semantics of Finite and Infinite Networks of Concurrent Communicating Agents." Distributed Computing 2(1) 13-31

    [31] Broy, M. (1991). "Towards a Formal Foundation of the Specification and Description Language SDL." Formal Aspects of Computing 3(1) 21-57

    [32] Broy, M. (1993). (Inter-)Action Refinement: The Easy Way. Program Design Calculi Ed. M. Broy. Springer. NATO ASI Series, Series F: Computer and System Sciences 118

    [33] Carroll, J. and Long, D. (1989). Theory of finite automata with an introduction to formal languages. London, Prentice-Hall International, Inc. 0-13-913815-3

    [34] CCITT (1988) Z.100 CCITT Specification and Description Language, ITU ("SDL-88")

    [35] CCITT (1988) Z.100 Annex D SDL User Guidelines, ITU ("SDL-88")

    [36] CCITT (1993) Z.200 CCITT High Level Language (CHILL) Recommendation Z200, ITU

    [37] Chaves, J. A. (1993). Formal Methods at AT&T - An Industrial Usage Report. AT&T Bell Labs Naperville, Illinois 60566

    [38] Clark, E. M., Emerson, E. A. and Sistla, A. P. (1983). Automatic verification of finite state concurrent systems using temporal logic specifications. 10th ACM Symposium on Principles of Programming Languages, Austin, Texas January 24-26, 1983, Pages: 117-126, ACM

    [39] Coad, P., Yourdon, E. (1990). Object-Oriented Analysis. Englewood Cliffs, Prentice Hall

    [40] Collins (1986). The Collins Paperback English Dictionary . William Collins Sons & Co.

    [41] Combes, P., Pickin, S., Renard, B. and Olsen, F. (1995). MSCs to express Service Requirements as Properties on an SDL Model: Application to Service Interaction Detection. SDL'95 with MSC in CASE. Proceedings of the Seventh SDL Forum, Oslo, Norway 26.-29. Sept. 1995, North-Holland

    [42] Craigen, D., Gerhart, S. and Ralston, T. (1993). An International Survey of Industrial Applications of Formal Methods. U.S. Department of Commerce, Technology Administration, National Institute of Standards and Technology, Computer Systems Laboratory NISTGCR 93/626, Gaithersburg, MD 20899

    [43] Dahl, O.-J. (1992). Verifiable Programming. Hemel Hempstead, UK, Prentice Hall International 0-13-951062-1

    [44] de Man, J. (1993). Towards a Formal Semantics of Message Sequence Charts. SDL '93. Using Objects. SDL Forum 1993, Darmstadt October 1993, Pages: 157-166, North Holland. Elsevier 0-444-81486-8

    [45] de Roever, W.-P. (1992). Why Formal Methods is a Must for Real-Time System Specification. Oslo, University of Oslo

    [46] Dean, H. (1991). "Object-oriented design using message flow composition." JOOP (May 1991)

    [47] DeMarco, T. (1979). Structured Analysis and Systems Specification. Englewood Cliffs, Prentice Hall

    [48] Dershowitz, N. and Jouannaud, J.-P. (1990). Rewrite Systems. Handbook of Theoretical Computer Science. Formal Models and Semantics Ed. J. van Leeuwen. Amsterdam, Elsevier. Vol. B 243-320

    [49] Dijkstra, E. W. (1968). Cooperating Sequential Processes. Programming Languages Ed. F. Genuys. New York, Academic Press

    [50] Dijkstra, E. W. (1972). Notes on Structured Programming. Structured Programming Eds. O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare. London and New York, Academic Press

    [51] Douglass, B., P. (199). Real-time UML: Developing Efficient Objects for Embedded Systems, AddisonWesley Longman, Reading Mass. 0-201-32579-9 (December 1997)

    [52] Duke, R., Rose, G. and Lee, A. (1990). Object-Oriented Protocol Specification. Protocol Specification Testing and Verification X, Pages: 325 - 338, Elsevier Science Publishers B.V., North Holland X

    [53] Dyer, M. (1992). The Cleanroom Approach to Quality Software Engineering. John Wiley & Sons

    [54] Ehrig, H., Frey, W. and Hansen, H. (1983). ACT ONE: An Algebraic Specification Language with Two Levels of Semantics. Technishe Universität Berlin, Bericht Nr. 83-03, Berlin

    [55] Ek, A. (1993). Verifying Message Sequence Charts with the SDT Validator. SDL '93 Using Objects. Proceedings of the Sixth SDL Forum, Darmstadt, Germany October 12th - 16th 1993, Pages: 237-249, North Holland 0-444-81486-8

    [56] Ellis and Stroustrup, B. (1990). The Annotated C++ Reference Manual. Addison-Wesley

    [57] Ellsberger, J., Hogrefe, D. and Sarma, A. (1997) SDL. Formal Object-oriented Language for Communicating Systems. Prentice Hall, Hemel Hempstead 0-13-621384-7

    [58] Encontre, V. (1993). MSC extensions/restrictions. Reference Manual - GEODE Simulator . Toulouse, France, Verilog. 6-1 - 6-28

    [59] ETSI (1994), Methods for Testing and Specification (MTS); Methodologies for Standards Engineering - Specification of Protocols and Service , WD 1 in Q6 on Methodology at ITU-TS Geneva Oct. 19.-27. 1994

    [60] Fowler, M. with Scott, K. (1997). UML Distilled: Applying the Standard Object Modeling Language. Addison Wesley Longman, Reading Mass. 0-201-32563-2 (May 1997)

    [61] Færgemand, O. and M.M., M., Eds. (1989). SDL´89 The Language at Work. Proceedings of the Fourth SDL Forum, Lisbon, October 1989. Lisbon, North Holland: Elsevier

    [62] Færgemand, O. and Reed, R., Eds. (1991). SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991. Glasgow, North Holland: Elsevier

    [63] Færgemand, O. and Sarma, A., Eds. (1993). SDL '93. Using Objects. SDL Forum 1993. Darmstadt, North Holland. Elsevier 0-444-81486-8

    [64] Fagan, M. E. (1976). "Design and Code Inspections to Reduce Errors In Program Development." IBM Systems Journal 15

    [65] Freedman, D. P. and Weinberg, G. M. (1982). Handbook of Walkthroughs, Inspections, and Technical Reviews. Evaluating Program, Projects and Products. Third Edition. Boston, Little, Brown and Company 0-316-292826

    [66] Gamme, E., Helm, R., Johnson, R. and Vlissides, J. (1995). Design Patters: Elements of Reusable Object-Oriented Software . Addison-Wesley, 0-201-63361-2

    [67] Gilb, T. and Graham, D. (1993). Software Inspection. Wokingham, Addison-Wesley 0-201-63181-4

    [68] Godskesen, J. C. (1991). An Operational Semantic Model for Basic SDL Extended Abstract. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

    [69] Grabowski, J. (1994). Test Case Generation and Test Case Specification with Message Sequence Charts. Inaugural dissertation, Institut für Informatik und angewandte Mathematik, Universität Bern

    [70] Grabowski, J. and Rudolph, E. (1989). Putting Extended Sequence Charts to Practice. SDL '89 - The Language at Work. SDL Forum 1989, Lisbon, October 1989, North-Holland

    [71] Grabowski, J. and Rudolph, E. (1992). Message Sequence Chart (MSC) - A Survey of the new CCITT Language for the Description of Traces within Communication Systems

    [72] Grady, R. B. and Caswell, D. L. (1987). Software Metrics: Establishing a Company-wide Program, Prentice-Hall 0-13-821844-7

    [73] Grasmani, M. and Medvedis, I. (1991). Approach to Behavior Specification and Automated Test Generation for Telephone Exchange Systems. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

    [74] Graubmann, P., Rudolph, E. and Grabowski, J. (1993). Towards a Petri Net Based Semantics Definition for Message Sequence Charts. SDL '93. Using Objects. SDL Forum 1993, Darmstadt October 1993, Pages: 179-190, North Holland. Elsevier 0-444-8148-8

    [75] Guttag, J. V. and Horning, J. J. (1978). "The Algebraic Specification of Abstract Data Types. Acta Informatica 10

    [76] Harel, D. (1987). Statecharts: A visual formalism for complex systems. Scientific Computing Programming 8(3) 231 - 274

    [77] Hatley, D. J. and Pirbhai, I. A. (1987). Strategies for Real-Time System Specification, Dorset House Publishing, New York 0-932633-04-8

    [78] Haugen, O. (1980). Hierarchies in Programming and System Description. Master Thesis, University of Oslo

    [79] Haugen, O. (1996). Special issue on SDL and MSC. CN&ISDN (June 1996)

    [80] Haugen, Ø. (1991). Applying Object-Oriented SDL. Fifth SDL Forum, Glasgow, UK 29. September - 4. October 1991

    [81] Haugen, Ø. (1992). Formal Description Techniques. ABB Corporate Research Computer Science Conference, Copenhagen, Denmark November 16th-17th 1992

    [82] Haugen, Ø. (1994). MSC Methodology. SISU Report L-1313-7, Oslo, www.sintef.no/sisu

    [83] Haugen, Ø. (1995). Using MSC-92 Effectively. SDL'95 with MSC in CASE. Proceedings of the Seventh SDL Forum, Oslo, Norway 26.-29. Sept. 1995, North-Holland, Elsevier

    [84] Haugen, O. (1997a). Practitioners' verification of SDL systems, Dr Scient Thesis, University of Oslo (April 1997) 82-7368-166-1

    [85] Haugen, Ø. (1997b). The MSC-96 Distillery. SDL'97 Time for Testing - SDL, MSC and Trends. Proceedings of the Eighth SDL Forum, Evry, France 23-26 Sept. 1997, Elsevier 0-444-82816-8

    [86] Haugen, Ø., Bræk, R. and Melby, G. (1992). The SISU project. 2nd RACE Telecommunications Software Engineering Symposium, Paris, France 18th-19th November 1992

    [87] Haugen, Ø., Stenhaug, U., Trettenes, N., Åsen, H. K. and Jarfonn, D. (1994). Walkthrough as a means for V&V. SISU Report L-1313-5, Oslo, www.sintef.no/sisu

    [88] Haugen, Ø., Trettenes, N., Åsen, H. K. and Jarfonn, D. (1994). Formalizing Requirements. SISU Note L-1313-2, Oslo, www.sintef.no/sisu

    [89] Haugen, O. e., Spurkland, S., Dahll, G. and Juul-Wedde, K. (1993). Verification and Validation in Industrial Perspective. SISU SISU report L-1301-1, Oslo, www.sintef.no/sisu

    [90] Hayes, I. e. (1987). Specification Case Studies. London, Prentice-Hall International 0-13-826579-8

    [91] He, J., Hoare, C. A. R., Fränzle, M., Müller-Olm, M., Olderog, E.-R., Schenke, M., et al. (1995). Provable Correct Systems. Oxford report by FTP

    [92] Hoare, C. A. R. (1969). "An axiomatic Approach to Computer Programming." Communication of the ACM 12 576-580

    [93] Hoare, C. A. R. (1985). Communicating Sequential Processes. Hemel Hempstead, Prentice Hall International 0-13-153271-5

    [94] Holzmann, G. J. (1991). Design and Validation of Computer Protocols. Englewood Cliffs, Prentice Hall International 0-13-539925-4

    [95] Holzmann, G. J. and Patti, J. (1989). Validating SDL Specifications: an Experiment. 9th Int. Workshop on Protocol Specification, Testing and Verification, Twente, The Netherlands June 1989, North Holland

    [96] Hopcroft, J. E. and Ullman, J. D. (1979). Introduction to automata theory, languages, and computation. Reading, Mass., Addison-Wesley 0-201-02988-X

    [97] Huizing, C. and de Roever, W.-P. (1991). "Introduction to design choices in the semantics of Statecharts." Information Processing Letters 37 205 - 213

    [98] ISO ISO 8807 Information processing systems - Open System Interconnection - LOTOS- A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour

    [99] ISO ISO 9000 Quality Management and Quality Assurance Standards. Guidelines for Selection and Use

    [100] ISO ISO 9074 Information processing systems - Open System Interconnection - ESTELLE: A Formal Description Technique Based on an Extended State Transition Model

    [101] ISO (1991) ISO 9646-3 The Tree and Tabular Combined Notation (TTCN), ISO/IEC JTC 1/SC 21 ("TTCN")

    [102] ITU (1993a) Z.100 ITU Specification and Description Language (SDL), ITU-T, June 1994, 237 p ("SDL-92")

    [103] ITU (1993b) Z.100 Annex F Specification and Description Language (SDL) Annex F. SDL Formal Definition, ITU, April 1994, (33+437+183) p ("SDL-92")

    [104] ITU (1993c) Z.100 Appendix I SDL Methodology Guidelines, ITU-T, July 1994, 129 p ("SDL-92")

    [105] ITU (1993d) Z.120 Message Sequence Charts (MSC), ITU-T, September 1994, 36 p ("MSC-92")

    [106] ITU (1994a) Z.105 SDL combined with ASN.1, ITU-TS, Oct. 19.-27. 1994, 69 p

    [107] ITU (1994b) Z.120 Annex B Algebraic Semantics of Message Sequence Charts, ITU-T, October 1994, 50 p ("MSC-92")

    [108] ITU (1996a) Z.100 Addendum to Recommendation Z.100: CCITT Specification and Description Language, ITU, October 1996, 31 p ("SDL-96")

    [109] ITU (1996b) Z.106 Common Interchange Format, ITU-TS, Oct. 18. 1996 ("CIF")

    [110] ITU (1996c) Z.120 Message Sequence Charts (MSC), ITU-T, Oct. 1996, 78 p ("MSC-96")

    [111] Jacobson, I., Christerson, M., Jonsson, P. and Övergaard, G. (1992). Object-Oriented Software Engineering: A Use Case Driven Approach. ACM Press Addison-Wesley, 0-201-54435-0

    [112] Jacobsen, I., Booch, G. and Rumbaugh, J. (1999). The Unified Software Development Process. Addison Wesley Longman, Reading Mass. 0-201-57169-2 (January 1999)

    [113] Jones, C. B. (1986). Systematic Software Development Using VDM. Hemel Hempstead, Prentice-Hall International 0-13-880717-5

    [114] Jonsson, B. (1987). Compositional Verification of Distributed Systems. Ph. D., Department of Computer Systems, Uppsala University

    [115] Jonsson, B. (1994). "Compositional Specification and Verification of Distributed Systems." ACM Transactions on Programming Languages and Systems 16(2) 259-303

    [116] Juul-Wedde, K. (1994). Consistency Control Methods and Evaluation. SISU Note L-1312-5, Oslo, www.sintef.no/sisu

    [117] Kaasbøll, J. (1995). Abstraction and concretizing in information systems and problem domains: implications for system descriptions and theoretical frameworks. IFIP 8.1 International Working Conference on Information System Concepts, Marburg, Germany March 28.-30. 1995

    [118] Kahn, G. (1974). The semantics of a simple language for parallel programming. IFIP Congress '74, Stockholm, Sweden Pages: 471-475, North-Holland

    [119] Kalnin, A. (1991). Global State Based Automatic Test Generation for SDL. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

    [120] Karp, R. E. and Miller, R. E. (1966). "Properties of a model for parallel computations, determinacy, termination, queueing." SIAM Journal on Applied Mathematics 14 1390-1411

    [121] Keen, P. G. W. (1981) Information systems and organisational change. Communications of the ACM, 24(1), January 1981

    [122] Kim, H. C., Choi, H., Yim, C. H. and Hong, J. P. (1991). The Automated Verification of SDL Specification Using Numerical Petri-nets. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

    [123] Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. and K., N. (1987). The BETA Programming Language. Research Directions in Object-Oriented Languages Eds. B. Shriver and P. Wegner. MIT Press

    [124] Kristoffersen, F. (1991). Message Sequence Chart and SDL Specification Consistency Check. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

    [125] Kroon, J. and Wiles, A. (1991). A tutorial on TTCN. Protocol, Specification, Testing and Verification, 11th International IFIP WG6.1 Symposium on Protocol, Specification, Testing and Verification, Pages: 40-92., 11

    [126] Lam, S. S. and Shankar, A. U. (1984). Protocol Verification via Projections. IEEE Transactions on Software Engineering vSE10(4)

    [127] Lam, S. S. and Shankar, A. U. (1991). A Composition Theorem for Layered Systems. Protocol Specification Testing and Verification XI, Pages: 93 - 108, Elsevier Science Publishers B.V., North Holland XI

    [128] Lamport, L. (1986). "On interprocess communication. Parts I & II." Distributed Computing 1/1986 77-101

    [129] Lamport, L. (1989). "A simple Approach to Specifying Concurrent Systems." Communication of the ACM 32(1) 32-45

    [130] Lamport, L. (1991). The Temporal Logic of Actions . Digital Equipment Corporation SRC Research Report Series 79, Palo Alto

    [131] Lamport, L. (1993). How to Write a Proof . Digital Equipment Corporation SRC Research Report Series 94, Palo Alto

    [132] Lamport, L. (1994). TLA in Pictures . Digital Equipment Corporation SRC Research Report Series 127, Palo Alto

    [133] Lewerentz, C. and Lindner, T. (1994). Case Study "Production Cell": A Comparative Study in Formal Specification and Verification . Forschungszentrum Informatik an der Universität Karlsruhe FZI-Publication 1/94, Karlsruhe

    [134] Madsen, O. L., Møller-Pedersen, B. and K., N. (1993). Object-Oriented Programming in the BETA Programming Language. Wokingham, England, Addison-Wesley 0-201-62430-3

    [135] Maraninchi, F. (1991). Languages for reactive systems: a common framework for comparing Statecharts and Argos

    [136] Mauw, S. (1993), "An algebraic semantics for Message Sequence Charts", TD 40 at ITU SG 10 WG MSC Geneva October 19. 1993

    [137] Mauw, S. and van der Meulen, E. A. (1995). Generating tools for Message Sequence Charts. SDL'95 with MSC in CASE. Proceedings of the Seventh SDL Forum, Oslo, Norway Sept. 26.-29. 1995, North-Holland

    [138] Mazurkiewicz, A. (1986). Trace theory. Petri Nets: Application and Relation to other Models of Concurrency, Bad Honef September 8.-19. 1986, Pages: 279-324, Springer-Verlag LNCS 254-255

    [139] Milner, R. (1980). A Calculus of Communicating Systems. Springer Verlag 0-13-114984-9

    [140] Møller-Pedersen, B. (1993). "SDL-92 as an object oriented notation." Telektronikk

    [141] Moser, L. E. and Melliar-Smith, P. M. (1990). "Formal Verification of Safety-critical Systems." Software-Practice and Experience 20(8) 799-821

    [142] Nahm, R. E. M. (1994). Conformance Testing Based on Formal Description Techniques and Message Sequence Charts. Inauguraldissertation, Universität Bern

    [143] Nygaard, K. (1986). Basic Concepts in Object-oriented Programming. Sigplan Notices , 21(19) October 1986

    [144] Olsen, A., Faergemand, O., Møller-Pedersen, B., Smith, J. R. W. and Reed, R. (1994). Systems Engineering Using SDL-92. North Holland 0 444 89872 7

    [145] OMG (1995). Common Object Request Broker: Architecture and Specification , Revision 2.0, OMG, July 1995

    [146] OMG (1997). OMG Unified Modeling Language Specification, Version 1.1, September 1997

    [147] OMG (1998). OMG Unified Modeling Language Specification, Version 1.2, July 1998

    [148] OVUM (1996). OVUM Evaluates: Configuration Management Tools, OVUM, London. (December 1996)

    [149] OVUM (1997a). Select Enterprise. OVUM Evaluates: Case Products - Issue 34, OVUM, London. (October 1997)

    [150] OVUM (1997b). Guide to SDL. OVUM Evaluates: Case Products, OVUM, London. (June 1997)

    [151] OVUM (1998). OVUM Evaluates: Configuration Management, OVUM, London. (July 1998)

    [152] OVUM (1998a). Guide to UML. OVUM Evaluates: Case Products, OVUM, London. (January 1998)

    [153] OVUM (1998b). Object Geode. OVUM Evaluates: Case Products, OVUM, London. (November 1998)

    [154] OVUM (1998c). SDT/Tau. OVUM Evaluates: Case Products, OVUM, London. (November 1998)

    [155] OVUM (1998d). Paradigm Plus. OVUM Evaluates: Case Products, OVUM, London. (November 1998)

    [156] OVUM (1998e). ObjectTeam (now: Cool:Jex). OVUM Evaluates: Case Products, OVUM, London. (November 1998)

    [157] OVUM (1999). Rational Rose. OVUM Evaluates: Case Products, OVUM, London. (February 1999)

    [158] Parnas, D. L. (1972). "On the Criteria to be Used in Decomposing Systems into Modules." Communications of the ACM 5(12)

    [159] Perrin, D. (1990). Finite Automata. Handbook of Theoretical Computer Science. Formal Models and Semantics Ed. J. van Leeuwen. Amsterdam, Elsevier. Vol. B 3-58

    [160] Q-Labs Cleanroom Competency Centre (QCCC) (1992). Cleanroom Software Engineering Applied to Telecommunications. NSDCS'92

    [161] Ravn, A. P. e. (1991). Embedded, Real-time Computing Systems . ProCoS project Working Draft Denmark, England

    [162] Reenskaug, T., Wold, P. and Lehne, O. A. (1995). Working With Objects. Manning/Prentice Hall

    [163] Reisig, W. (1985). Petri Nets. An Introduction. Berlin, Springer-Verlag 4 3-540-13723-8

    [164] Rensink, A. and Wehrheim, H. (1994). Weak sequential composition in process algebra. CONCUR '94, Proc. 5th Int. Conf. on Concurrency Theory, Uppsala, Sweden Pages: 226-241, Springer-Verlag LNCS 836

    [165] Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F. and Lorensen, W. (1991). Object-Oriented Modeling and Design. Englewood Cliffs, New Jersey, Prentice Hall 0-13-629841-9

    [166] Rumbaugh, J., Jacobsen, I. and Booch, G. (1998). Unified Modeling Language Reference Manual. Addison Wesley Longman, Reading Mass. 0-201-30998-X (December 1998)

    [167] Saracco, R., Smith, J. R. W. and Reed, R. (1989). Telecommunications Systems Engineering using SDL. North Holland: Elsevier

    [168] Selic, B., Gullekson, G. and Ward, P. (1994). Real-Time Object-Oriented Modeling . J. Wiley & Sons, 0-471-59917-4

    [169] Spurkland, S. and Haugen, Ø. (1994). Rudimentary SDL Verifier in Prolog. SISU Note L-1313-3, Oslo, www.sintef.no/sisu

    [170] Solberg, O., Schulstad, H. and Ellevseth, S.E. (1996). Evaluation of ClearCase. SISU Report L-2105-3, Oslo, www.sintef.no/sisu

    [171] Stølen, K., Dederichs, F. and Weber, R. (1993). "Assumption/Commitment Rules for Networks of Asynchronously Communicating Agents." Draft copy

    [172] Støren, O. H. (1994). Experiences from pilot study: system requirement analysis. SISU (Siemens) Note L-1112-10, SINTEF, www.sintef.no/sisu

    [173] Stroustrup, B. (1992). The C++ Programming Language. Second Edition. Addison-Wesley

    [174] Telelogic (1999). Methodology Guidelines. The SOMT Method. Telelogic Manual SDT 3.5, Malmø

    [175] Vardi, M. Y. (1994). An Automata-Theoretic Approach to Linear Temporal Logic. VIII Banff Workshop: Logics for Concurrency Structure vs. Automata, Banff, Canada August 27. - September 3 1994

    [176] Vasconcelos, V. and Tokoro, M. (1991). Trace semantics for actor systems. ECOOP '91 Workshop on Object-BAsed Concurrent Computing, Geneva, Switzerland July 1991, Pages: 141-162, Springer-Verlag LNCS 612 3-540-55613-3

    [177] Vergauwen, B. and Lewi, J. (1993). A Linear Local Model Checking Algorithm for CTL. CONCUR'93, 4th International Conference on Concurrency Theory, Hildesheim, Germany August 1993, Pages: 447-461, Springer-Verlag LNCS 715 3-540-57208-2

    [178] Verhaard, L. (1994), Using SDL for the specification of behaviour of managed objects , D.018-PL/10 at ITU-TS Geneva Oct. 19.-27. 1994

    [179] Verilog (1994). GEODE Simulator. Basic Concepts. Reference Manual - GEODE Simulator . Toulouse, France, Verilog. 1-36

    [180] Verilog (1999). ObjectGEODE - Method Guidelines. Verilog Toulouse, France

    [181] Ward, P. T. and Mellor, S. J. (1985). Structured Development for Real Time Systems

    [182] West, C. H. (1986). Protocol validation by random state exploration. Proc. 6th IFIP WG 6.1 Int. Workshop on Protocol Specification, Testing and Verification, Amsterdam Pages: 233-242, North-Holland

    [183] Wezeman, C. D. (1990). Protocol conformance testing using multiple UIO-sequences. Workshop on Protocol Specification, Verification and Testing, volume 9 of Proceedings of the IFIP WG 6.1 9th International Symposium on Protocol Specification, Testing and Verification, Pages: 131-143, North-Holland

    [184] Wilts, H. J. and Tilanus, P. A. J. (1991). Test Design based on SDL Simulation. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

    [185] Wolper, P. (1986). Expressing Interesting Properties of Programs in Propositional Temporal Logic. Proc. 13th ACM Symp. on Principles of Programming, St. Petersburg Beach, Florida 13.-15. January 1986, Pages: 184-192, ACM

    [186] Yang, F. and Chen, J. (1991). REAS - A ripple effect analysis system. SDL´91 Evolving Methods. Proceedings of the Fifth SDL Forum, Glasgow, October 1991, Glasgow October 1991, North Holland: Elsevier

    [187] Yourdon, E. (1989). Structured walkthroughs. Englewood Cliffs, N.J., Yourdon Press 0-13-855289-4

    [188] Zhao, Z. and Bochmann, G. v. (1986). Reduced reachability analysis of communication protocols: a new approach. 6th International Workshop on Protocol Specification, Testing and Verification, Montreal, Quebec June 1986, North-Holland