A. Stevens and D. Watson, The Effect of Java Exceptions on Code Optimisation

P. A. Buhr, A. Harji, and W. Y. Mok, Advances in COMPUTERS, chapter Exception Handling, pp.245-303, 2002.

P. A. Buhr, H. I. Macdonald, and C. R. Zarnke, Synchronous and asynchronous handling of abnormal events in the ??system, Software: Practice and Experience, vol.11, issue.9, pp.735-776, 1992.
DOI : 10.1002/spe.4380220904

Q. Cui and J. Gannon, Data-oriented exception handling, IEEE Transactions on Software Engineering, vol.18, issue.5, pp.393-401, 1992.
DOI : 10.1109/32.135772

URL : http://www.dtic.mil/get-tr-doc/pdf?AD=ADA232645

C. Dony, A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation, Exception Handling, pp.18-38
DOI : 10.1007/3-540-45407-1_2

URL : https://hal.archives-ouvertes.fr/lirmm-01237174

J. L. Knudsen, Fault Tolerance and Exception Handling in BETA, Exception Handling, pp.1-17, 2001.
DOI : 10.1007/3-540-45407-1_1

R. Krischer, Bound exceptions in object-oriented programming languages. Diplomarbeit, 2002.

R. Miller and A. Tripathi, Issues with exception hnadling in object-oriented systems, ECOOP'97, pp.85-103, 1997.

K. M. Pitman, Condition Handling in the Lisp Language Family, Exception Handling, pp.39-59, 2001.
DOI : 10.1007/3-540-45407-1_3

R. 1. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry et al., An overview of JML tools and applications, International Journal on Software Tools for Technology Transfer, vol.box, issue.3, 2003.
DOI : 10.1007/s10009-004-0167-4

E. Posted and . Gunnerson, Original author unknown. Why doesn't C# require exception specifications?

B. Eckel, Does Java need checked exceptions? See http://www.mindview.net/Etc/Discussions/CheckedExceptions, particularly the ensuing feedback on this issue

J. Gosling, B. Joy, and G. Steele, The Java Language Specification, 1996.

B. Jacobs and E. Poll, A Logic for the Java Modeling Language JML, 2000.
DOI : 10.1007/3-540-45314-8_21

T. Gary, A. L. Leavens, C. Baker, and . Ruby, Behavioral Specifications of Business and Systems, chapter JML: A Notation for Detailed Design, pp.175-188, 1999.

B. Meyer, Disciplined exceptions, 1988.

B. Meyer, Object-Oriented Software Construction, 1988.

B. Meyer, Eiffel: The Language, NET framework general reference, 1992.

N. Wirth-campbell, R. H. Randell, and B. , Programming in Modula-2 References 1 Error Recovery in Asynchronous Systems, IEEE Transactions on Software Engineering, vol.12, pp.811-826, 1982.

F. Cristian and C. Fetzer, The timed asynchronous distributed system model, IEEE Transactions on Parallel and Distributed Systems, vol.10, issue.6, pp.642-657, 1999.
DOI : 10.1109/71.774912

V. Issarny, An Exception Handling Mechanism for Parallel Object-Oriented Programming: Toward Reusable, Robust Distributed Software, Journal of Object Oriented Programming, vol.6, pp.29-40, 1993.

J. Kienzle, A. Romanovsky, and A. Strohmeier, Open multithreaded transactions: keeping threads and exceptions under control, Proceedings Sixth International Workshop on Object-Oriented Real-Time Dependable Systems, pp.197-205, 2001.
DOI : 10.1109/WORDS.2001.945131

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Klein and C. Dellarocas, Exception handling in agent systems, Proceedings of the third annual conference on Autonomous Agents , AGENTS '99, pp.62-68, 1999.
DOI : 10.1145/301136.301164

R. Miller and A. Tripathi, Exception Handling in Timed Asynchronous Systems, Concurrency in Dependable Computing. Kluwer, pp.209-227, 2002.
DOI : 10.1007/978-1-4757-3573-4_11

R. Miller and A. Tripathi, The Guardian Model for Exception Handling in Distributed Systems, Symposium on Reliable and Distributed Computing, pp.304-313, 2002.

J. Xu, B. Randell, A. Romanovsky, R. J. Stroud, A. F. Zorzo et al., Rigorous development of a safety-criticial system based on coordinated atomic actions, 29th International Symposium on Fault-Tolerant Computing, pp.68-75, 1999.

J. Xu, A. Romanovsky, and B. Randell, Concurrent Exception Handling and Resolution in Distributed Object Systems, IEEE Transactions on Parallel and Distributed Systems, vol.11, pp.1019-1031, 2000.

J. C. Knight, SafetyCritical Systems: Challenges and Directions (summary of state-of-the-art presentation, International Conference on Software Engineering, 2002.

H. Kreger, Web Services Conceptual Architecture. IBM Software Group, 2001.

J. Xu, B. Randell, A. Romanovsky, C. Rubira, R. Stroud et al., Fault Tolerance in Concurrent Object-Oriented Software through Co-ordinated Error Recovery, Proc. 25 th FTCS, pp.499-508, 1995.

R. N. Taylor and N. Medvidovic, A component- and message-based architectural style for GUI software, Proc. of the IEEE TSE, pp.390-406, 1996.
DOI : 10.1109/32.508313

M. Shaw and P. Clements, A field guide to boxology: preliminary classification of architectural styles for software systems, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97), 1997.
DOI : 10.1109/CMPSAC.1997.624691

L. F. Andrade and J. L. Fiadeiro, Coordination Patterns for Component-Based Systems, Proc. of the SBPL'2001, pp.29-39, 2001.

F. Tartanoglu, V. Issarny, A. Romanovsky, and &. N. Levy, Dependability in the Web Services Architecture, Architecting Dependable Systems. LNCS 2677, 2003.
DOI : 10.1007/3-540-45177-3_4

URL : https://hal.archives-ouvertes.fr/inria-00414794

T. Anderson, M. Feng, S. Riddle, and A. Romanovsky, Protective Wrapper Development: A Case Study, 2nd International Conference on COTS-Based Software Systems, pp.1-14, 2003.
DOI : 10.1007/3-540-36465-X_1

P. A. Lee and T. Anderson, Fault Tolerance: Principles and Practice, 1991.

F. Cristian, Exception Handling and Tolerance of Software Faults Software Fault Tolerance, pp.81-108, 1995.

A. Romanovsky, Exception handling in component-based system development, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001, pp.580-586, 2001.
DOI : 10.1109/CMPSAC.2001.960671

J. Laprie, Dependable Computing: Concepts, Limits, Challenges " . Special Issue of the 25th International Symposium On Fault-Tolerant Computing, pp.42-54, 1995.

J. Voas, Certifying off-the-shelf software components, Computer, vol.31, issue.6, pp.53-59, 1998.
DOI : 10.1109/2.683008

P. Popov, S. Riddle, A. Romanovsky, and L. Strigini, On systematic design of protectors for employing OTS items, Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey, pp.22-29, 2001.
DOI : 10.1109/EURMIC.2001.952434

V. Havlena, Development of ACC Controller with MATLAB/SIMULINK. MATLAB '99. Praha: VSCHT - Ustav fyziky a merici techniky, pp.52-59, 1999.

J. Abrial, E. Börger, and H. Langmaack, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, LNCS, vol.1165, 1996.
DOI : 10.1007/BFb0027227

B. Meyer, Programming by Contract Advances in Object-Oriented Software Engineering, 1992.

. Siemens, Boiler Control Overview