SDL 2007: Design for Dependable Systems 13th International SDL Forum, Paris, France, Sep 18-21, 2007, Proceedings Series: Lecture Notes in Computer Science , Vol. 4745 Sublibrary: Computer Communication Networks and Telecommunications Gaudin, Emmanuel; Najm, Élie; Reed, Rick (Eds.) 2007, XII, 289 p., Softcover ISBN: 978-3-540-74983-7
	System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers Series: Lecture Notes in Computer Science , Vol. 4320 Sublibrary: Computer Communication Networks and Telecommunications Gotzhein, Reinhard; Reed, Rick (Eds.) 2006, X, 229 p., Softcover ISBN: 978-3-540-68371-1
	SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings Series: Lecture Notes in Computer Science , Vol. 3530 Sublibrary: Computer Communication Networks and Telecommunications Prinz, Andreas; Reed, Rick; Reed, Jeanne (Eds.) 2005, XI, 361 p., Softcover ISBN: 978-3-540-26612-9
	System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers Series: Lecture Notes in Computer Science , Vol. 3319 Sublibrary: Computer Communication Networks and Telecommunications Amyot, Daniel; Williams, Alan W. (Eds.) 2005, XII, 301 p., Softcover ISBN: 978-3-540-24561-2
	Testing of Communicating Systems 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings Series: Lecture Notes in Computer Science , Vol. 2978 Groz, Roland; Hierons, Robert M. (Eds.) 2004, XII, 225 p., Softcover ISBN: 978-3-540-21219-5
	Wired/Wireless Internet Communications Second International Conference, WWIC 2004, Frankfurt/Oder, Germany, February 4-6, 2004, Proceedings Series: Lecture Notes in Computer Science , Vol. 2957 Langendoerfer, P.; Liu, M.; Matta, I.; Tsaoussidis, V. (Eds.) 2004, XI, 307 p., Softcover ISBN: 978-3-540-20954-6
	Formal Methods for Open Object-Based Distributed Systems 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings Series: Lecture Notes in Computer Science , Vol. 2884 Najm, Elie; Nestmann, Uwe; Stevens, Perdita (Eds.) 2003, X, 293 p., Softcover ISBN: 978-3-540-20491-6
	Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 Series: Lecture Notes in Computer Science , Vol. 2767 König, Hartmut; Heiner, Monika; Wolisz, Adam (Eds.) 2003, XII, 431 p., Softcover ISBN: 978-3-540-20175-5
	SDL 2003: System Design 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings Series: Lecture Notes in Computer Science , Vol. 2708 Reed, Rick; Reed, Jeanne (Eds.) 2003, XI, 405 p., Softcover ISBN: 978-3-540-40539-9
	Infrastructure Security International Conference, InfraSec 2002 Bristol, UK, October 1-3, 2002 Proceedings Series: Lecture Notes in Computer Science , Vol. 2437 Davida, George; Frankel, Yair; Rees, Owen (Eds.) 2002, XI, 339 p., Softcover ISBN: 978-3-540-44309-4
	Telecommunications and beyond: The Broader Applicability of SDL and MSC Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers Series: Lecture Notes in Computer Science , Vol. 2599 Sherratt, Edel (Ed.) 2003, X, 253 p., Softcover ISBN: 978-3-540-00877-4
	Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. Series: Lecture Notes in Computer Science , Vol. 2335 Butler, Michael; Petre, Luigia; Sere, Kaisa (Eds.) 2002, X, 401 p., Softcover ISBN: 978-3-540-43703-1
	Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers Series: Lecture Notes in Computer Science , Vol. 2294 Cortesi, Agostino (Ed.) 2002, VIII, 331 p., Softcover ISBN: 978-3-540-43631-7
	Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers Series: Lecture Notes in Computer Science , Vol. 2244 Bjorner, Dines; Broy, Manfred; Zamulin, Alexandre (Eds.) 2001, XIII, 548 p., Softcover ISBN: 978-3-540-43075-9
	Performance Engineering State of the Art and Current Trends Series: Lecture Notes in Computer Science , Vol. 2047 Dumke, R.; Rautenstrauch, C.; Schmietendorf, A.; Scholz, A. (Eds.) 2001, XIV, 349 p., Softcover ISBN: 978-3-540-42145-0
	Formal Techniques for Networked and Distributed Systems Series: IFIP International Federation for Information Processing , Vol. 69 Myungchul Kim; Byoungmoon Chin; Sungwon Kang; Danhyung Lee (Eds.) 2001, 472 p., Hardcover ISBN: 978-0-7923-7470-1
	SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings Series: Lecture Notes in Computer Science , Vol. 2078 Reed, Rick; Reed, Jeanne (Eds.) 2001, XI, 439 p., Softcover ISBN: 978-3-540-42281-5
	Interactive Distributed Multimedia Systems and Telecommunication Services 7th International Workshop, IDMS 2000 Enschede, The Netherlands, October 17-20, 2000 Proceedings Series: Lecture Notes in Computer Science , Vol. 1905 Scholten, Hans; Sinderen, Marten J. van (Eds.) 2000, XI, 306 p., Softcover ISBN: 978-3-540-41130-7
	Application and Theory of Petri Nets 2000 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings Series: Lecture Notes in Computer Science , Vol. 1825 Nielsen, Mogens; Simpson, Dan (Eds.) 2000, XI, 485 p., Softcover ISBN: 978-3-540-67693-5
	Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings Series: Lecture Notes in Computer Science , Vol. 1785 Graf, Susanne; Schwartzbach, Michael (Eds.) 2000, XIV, 552 p., Softcover ISBN: 978-3-540-67282-1
	Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings Series: Lecture Notes in Computer Science , Vol. 1912 Gurevich, Y.; Kutter, P.W.; Odersky, M.; Thiele, L. (Eds.) 2000, X, 381 p., Softcover ISBN: 978-3-540-67959-2
	Software Process Technology 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000. Proceedings Series: Lecture Notes in Computer Science , Vol. 1780 Conradi, Reidar (Ed.) 2000, IX, 249 p., Softcover ISBN: 978-3-540-67140-4
	Public Key Cryptography Third International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000, Proceedings Series: Lecture Notes in Computer Science , Vol. 1751 Imai, Hideki; Zheng, Yuliang (Eds.) 2000, XI, 504 p., Softcover ISBN: 978-3-540-66967-8
	UML'99 - The Unified Modeling Language. Beyond the Standard Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings Series: Lecture Notes in Computer Science , Vol. 1723 France, Robert; Rumpe, Bernhard (Eds.) 1999, XVII, 724 p., Softcover ISBN: 978-3-540-66712-4
	Theoretical and Practical Aspects of SPIN Model Checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings Series: Lecture Notes in Computer Science , Vol. 1680 Dams, D.; Gerth, R.; Leue, S.; Massinek, M. (Eds.) 1999, X, 277 p., Softcover ISBN: 978-3-540-66499-4
	Intelligence in Services and Networks. Paving the Way for an Open Service Market 6th International Conference on Intelligence and Services in Networks, IS&N'99, Barcelona, Spain, April 27-29, 1999, Proceedings Series: Lecture Notes in Computer Science , Vol. 1597 Zuidweg, H.; Campolargo, M.; Delgado, J.; Mullery, A. (Eds.) 1999, XII, 552 p., Softcover ISBN: 978-3-540-65895-5

	Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis Laurent Doldi ISBN: 978-0-470-85286-6 Hardcover 310 pages April 2003
	UML 2 Illustrated - Developing Real-Time & Communications Systems Laurent Doldi Oct. 2003 - 316 pages - paperback ISBN 2-9516600-1-4
	Systems Engineering with SDL: Developing Performance-Critical Communication Systems Andreas Mitschele-Thiel ISBN: 978-0-471-49875-9 Hardcover 380 pages January 2001
	SDL Illustrated - Visually design executable models Laurent Doldi 270 pages - May 2001 ISBN 2-9516600-0-6
	Electronic Chips & Systems Design Languages Mermet, J. (Ed.) 2001, 320 p., Hardcover ISBN: 978-0-7923-7311-7
	SDL : modélisation de protocoles et systèmes réactifs Zoubir Mammeri 624p. softcover, 07-2000 ISBN : 2-7462-0166-6
	Sdl - Formal Object-Oriented Language for Communicating Systems Par Jan. Ellsberger, Dieter. Hogrefe, Amardeo. Sarma 1997 Prentice Hall Computers / Languages / Programming 312 pages ISBN 0136213847
	Engineering Real Time Systems: An Object-Oriented Methodology Using Sdl 416 pages Prentice Hall (April 1993) English ISBN 0130344486
	Systems Engineering Using Sdl-92 480 pages Elsevier Science Pub Co (January 1994) English ISBN 0444898727