Scientific Journals

1. Adachi M., Papadopoulos Y., Sharvia S., Parker D., Tohdo T. (accepted October 2010) An approach to optimization of fault tolerant architectures using HiP-HOPS, Software Practice and Experience, DOI: 10.1002/spe.104436 pages, Wiley Interscience, ISSN: 0038-0644.

2. Papadopoulos Y., Walker M., Parker D., Rüde E., Hamann R., Uhlig A., Grätz U., Lien R. (2011 ) Engineering Failure Analysis & Design Optimisation with HiP-HOPS, Journal of Engineering Failure Analysis, DOI: 10.1016/j.engfailanal.2010.09.025, Elsevier Science, ISSN: 1350-6307

3. Wolforth I., Walker M., Grunske L., Papadopoulos Y. (2010), Generalisable Safety Annotations for Specification of Failure Patterns, Software Practice and Experience, 40(5):453-483, Wiley Inderscience. ISSN: 0038-0644.

4. Wolforth I., Walker M., Papadopoulos Y., Grunske L. (2010), Capture and Reuse of Composable Failure Patterns, Int’l Journal of Critical Computer-Based Systems, 1 (1-3): 128-147, Inderscience Publishers, ISSN 1757-8779

5. Walker M., Papadopoulos Y. (2009) Qualitative Temporal Analysis: Towards a full implementation of the Fault Tree Handbook, Control Engineering Practice, Elsevier Science, 17(10):1115-1125, ISSN 0967-0661

6. Walker M., Papadopoulos Y., Parker D., Lönn H. Törngren M., Chen D., Johansson R. Sandberg A. (2009) Semi-Automatic FMEA supporting complex systems with combinations and sequences of failures, SAE International Journal of Passenger Cars- Mechanical Systems October 2009 2(1): 791-802, SAE Transactions - Journal of Passenger Cars: Mechanical Systems, ISSN: 1946-4002.

7. Walker M., Papadopoulos Y, (2008) Synthesis and analysis of temporal fault trees with PANDORA: The time of Priority AND gates, Nonlinear Analysis: Hybrid Systems, 2(2):368-382, doi:10.1016/j.nahs. 2006.05.003, Elsevier Science, ISSN 1751-570X.

8. Zeng W., Papadopoulos Y., Parker D. (2007), Reliability Optimization of Series-Parallel Systems Using Asynchronous Heterogeneous Hierarchical Parallel Genetic Algorithm, Journal of Mind and Computation, 1(4): 403-412, China Academic Electronic Publishing House.

9. Papadopoulos Y., Audrey T., Faure J.-M.. Grante C. (2006) Component failure behaviour: Patterns And reuse in automated system safety analysis, SAE Transactions - Journal of Passenger Cars: Mechanical Systems, 115(6): 1296-1311, ISSN: 1946-4002.

10. Papadopoulos Y., Grante C. (2005) Evolving car designs using model-based automated safety analysis and optimisation techniques, Journal of Systems and Software, Elsevier Science, 76(1):77-89 (extended version of paper that received distinction among best papers in COMPSAC’03), ISSN 0164-1212.

11. Papadopoulos Y., Parker D., Grante C. (2004) A method and tool support for model-based semi-automated Failure Modes and Effects Analysis (FMEA) of engineering designs, Research and Practice in Information Technology, 47:89-95, ACM, ISSN 1445-1336

12. Papadopoulos Y. (2003) Model-based system monitoring and diagnosis of failures using State-charts and Fault Trees, Reliability Engineering and System Safety, 81:325-341, 2003 (extended version of paper that received distinction among best papers in SAFECOMP’02), ISSN 0951-8320.

13. Papadopoulos Y., McDermid J. A., Sasse R., Heiner G. (2001) Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure, Reliability Engineering and System Safety, 71(3):229-247, Elsevier Science, 2001 (extended version of paper that received distinction among best papers in SAFECOMP’99), ISSN 0951-8320

14. Papadopoulos Y., McDermid J.A. (2001) Automated safety monitoring: a review and classification of methods, Condition Monitoring and Diagnostic Engineering Management, 4(4):14-32, Oct. 2001, ISSN: 1363-7681.

15. Papadopoulos Y., McDermid J. A. (1999) The potential for a generic approach to certification of safety-critical systems in the transportation sector, Reliability Engineering and System Safety, 63(1): 47-66, Elsevier Science, 1999, ISSN 0951-8320.

16. Papadopoulos Y., McDermid J. A. (1998) Safety-directed monitoring using safety cases, Condition Monitoring and Diagnostic Engineering Management, 1(4):5-15, Oct. 1998 (“best paper of year” award), ISSN: 1363-7681.

17. Papadopoulos Y., McDermid J. A. (1998) A harmonised model for safety assessment and certification of safety critical systems, Requirements Engineering Journal, 3(2):143-150, Springer-Verlag, 1998 (extended version of paper that received distinction among best papers in CEIRE’98), ISSN: 0947-3602.

18. Hassapis G., Papadopoulos Y. (1995) Support software for the development of programmable logic controller applications. Real-Time Systems 9(2): 173-193 Springer, 1995 (paper based on my undergraduate dissertation), ISSN: 0922-6443

Professional journals

19. Papadopoulos Y. (2001) New developments in software hazard analysis and the assessment of complex programmable safety critical systems, Croner Health and Safety Manager, 91:14-19, London, Dec. 2001.

20. Papadopoulos Y., (2000) Mechanical synthesis of fault trees from hierarchical design models, Epigram Newsletter, 9:1-6, April 2000.

Book chapters and Lecture Notes in Computer Science

21. Papadopoulos, Y., Nggada, S., Parker, D., (2010) Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance, Strategic Advantage of Computing Information Systems in Enterprise Management, (eds) Majid Sarrafzadeh Volume containing revised selected papers from Int’l Conference in Computer Systems and Information Systems 2009-2010, pp. 231-245, ISBN: 978-960-6672-93-4

22. Sharvia S., Papadopoulos Y. (2010), Integrating Compositional Safety Analysis and Formal Verification, Strategic Advantage of Computing Information Systems in Enterprise Management, (eds) Majid Sarrafzadeh. Volume containing revised selected papers from Int’l Conference in Computer Systems and Information Systems 2009-2010, pp. 181-201, ISBN: 978-960-6672-93-4

23. P. Cuenot, P. Frey, R. Johansson, H. Lönn, Papadopoulos. Y., M.-O. Reiser, A. Sandberg, D. Servat, R. T. Kolagari, M. Törngren, M. Weber, (2010), The EAST-ADL Architecture Description Language for Automotive Embedded Software, in Model-Based Engineering of Embedded Real-Time Systems, (eds) Giese H., Karsai G., Lee E., Rumpe B., Schätz B., Revised selected papers from Int’l Dagstuhl Workshop, Dagstuhl Castle, Germany, November, 2007, Lecture Notes in Computer Science 6100:297-305, Springer, ISBN: 978-3-642-16276-3, ISSN 0302-9743.

24. Papadopoulos Y. (2009) Methods and Tools: System Failure, Chapter in Ship-based Risk Design (ed) A. Papanikolaou, p.p. 150-176, ISBN 978-3-540-89041-6

25. Walker M., Papadopoulos Y. Parker D., (2009), Application of a Temporal Logic in the Synthesis of Sequential Failure Modes and Effects Analyses, Recent Advances in Computing and Management Information Systems, (ed) Marcoulides G.A., pp. 189-207, ISBN 978-960-6672-50-7

26. DeJiu Chen, Rolf Johansson, Henrik Lönn, Papadopoulos Y., Anders Sandberg, Fredrik Törner, Törngren M. (2008) Modelling Support for Design of Safety-Critical Automotive Embedded Systems, Computer Safety Reliability and Security - SAFECOMP 2008 (eds) Harrison M., Sujan M., Lecture Notes in Computer Science 5219:72-85, Springer, ISBN 978-3-540-87697-7, ISSN 0302-9743.

27. Papadopoulos Y., Grante C., Zeng W. (2008) Advanced Safety Engineering Using Compositional Analysis and Optimisation Techniques, Current Advances in Computing, Engineering and Information (eds) Petratos P. & Dandapani P., pp. 81-95, ISBN: 978-960-6672-34-7

28. Grunske L., Lindsay P., Bondarev E., Papadopoulos Y., Parker D. (2007) An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems, Chapter in Volume on Architecting Dependable Systems IV (eds) Lemos, Gacek, Romanovsky, Lecture Notes in Computer Science 4615:188-209, Springer, ISBN 978-3-540-74033-9, ISSN 0302-9743

29. Walker M., Bottaci L., Papadopoulos Y. (2007) Compositional Temporal Safety Analysis, Computer Safety Reliability and Security - SAFECOMP 2007 (eds) Saglietti, Oster, Norbert, Lecture Notes in Computer Science 4680:105-119, Springer, ISBN 978-3-540-75100-7, ISSN 0302-9743.

30. Grunske L., Kaiser B., Papadopoulos Y. (2005) Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations, Component-based Software Engineering, ACM SIGSOFT Symposium, (eds) Heineman, Crnkovic, Heinz, Stafford, Clemens, Szyperski, Wallnau, Lecture Notes in Computer Science 3489:33-48, Springer, ISBN 978-3-540-25877-3, ISSN 0302-9743.

31. Scheidler C., Pushner P., Boutin S., Papadopoulos Y., Pisecky M., Rennhack J., Virnich U. (2005) Review of advanced methodologies: The SETTA approach, in Bouyssounouse B., Sifakis J. (eds) Embedded Systems Design, Lecture Notes in Computer Science 3436:92-96, Springer, ISBN 978-3-540-25107-1, ISSN 0302-9743.

32. Papadopoulos Y. (2002), Model-based on-line monitoring using a state sensitive fault propagation model, Computer Safety, Reliability, and Security (eds) Anderson, Bologna, Felici, Lecture Notes in Computer Science 2434:236-248, Springer, ISBN 3-540-44157-3, ISSN 0302-9743.

33. Papadopoulos Y., McDermid J. A. (1999),Hierarchically Performed Hazard Origin and Propagation Studies, Computer Safety, Reliability, and Security, Felici M., Kanoun K., Pasquini A., Lecture Notes in Computer Science 1698:139-152, Springer, ISBN 3-540-66488-2, ISSN 0302-9743.

Conferences

34. Mahmud N., Papadopoulos Y. Walker M. (2010) Translation of State Machines to Temporal Fault Trees, Int’l Conf. on Dependable Systems and Networks - Workshops (DSN-W ‘2010) – PFARM workshop, June 2010, Chicago, pp. 45 – 51, ISBN: 978-1-4244-7729-6

35. Nggada S.H., Parker D. J., Papadopoulos Y. (2010) Dynamic Effect of Perfect Preventive Maintenance on System Reliability and Cost Using HiP-HOPS, IFAC-MCPL 2010, 5th Conference On Management And Control Of Production And Logistics, September 2010, Coimbra – Portugal, published in ifac-papersonline.net.

36. Papadopoulos Y. Walker M., Reiser M-O, Weber M., Servat D., Abele A., Johansson R., Lonn H., Torngren M., Sandberg A. (2010), Automatic Allocation of Safety Integrity Levels, 8th European Dependable Computing Conference – CARS workshop, Valencia, Spain, Spain, pp. 7-11, ACM press, ISBN:978-1-60558-915-2

37. Walker M., Papadopoulos Y. (2010) A Hierarchical Method for the Reduction of Temporal Expressions in Pandora, 8th European Dependable Computing Conference - DYADEM workshop, Valencia, Spain, pp. 7-13, ACM press, ISBN:978-1-60558-916-9

38. Dheedan A., Papadopoulos Y., Multi-Agent Safety Monitoring System, IFAC workshop on Intelligent Manufacturing Systems (IMS’10), Lisbon, 2010, published in ifac-papersonline.net.

39. Nggada S.H., Papadopoulos Y., Parker D. J., Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance, 6th International Conference On Computer Science & Information Systems, Athens, June 2010.

40. Abele A., Johansson R., Lonn H., Papadopoulos Y., Reiser M-O, Servat D., Torngren M., Weber M. (2010), The CVM Framework - A Prototype Tool for Compositional Variability Management, VAMOS’2010, 4th Fourth International Workshop on Variability Modelling of Software-intensive Systems, Linz, Austria, ICB report 37:101-108, ISSN 1860‐2770

41. Walker M., Papadopoulos Y., Parker D., Törngren M., Chen D., Johansson R., Sandberg A. (2009), Semi-Automatic FMEA supporting complex systems with combinations and sequences of failures, SAE World Congress, Published in SAE volume in Safety-Critical Systems, ISBN: 978-0-7680-2118-9.

42. Sharvia S., Papadopoulos Y. (2009), Model-based Safety Analysis Using Compositional Analysis and Formal Verification, ICCSIS’09,5th Int’l Conference on Computer Science & Information Systems, July 2009, Athens

43. Zeng W., Papadopoulos Y., Parker D. (2008), Multi-objective Optimization of Dependability Attributes Using An Asynchronous Heterogeneous Hierarchical Parallel Genetic Algorithm, IFAC Workshop on Intelligent Manufacturing Systems, Poland 2008, published in ifac-papersonline.net

44. Sharvia S., Papadopoulos Y. (2008), Non-coherent Modelling in Compositional Safety Analysis, IFAC, 17th World Congress, Int’l Federation of Automatic Control, Seoul, July, 2008, published in ifac-papersonline.net

45. Hamann R., Uhlig A., Papadopoulos Y., Rüde E., Grätz U., Lien R. (2008) Derivation or Ship System Safety Criteria by means of Risk-Based Ship System Safety Analysis, ASME 27th Int’l Conference on Offshore Mechanics and Arctic Engineering (OMAE’08), American Society of Mechanical Engineers, Estoril Portugal, June 2008, 16 pages, proceeding on CD with ISBN: 0 7918 3821 8.

46. Walker M., Papadopoulos Y. (2008) Assessment of Sequences of Failures in a Technique for Model-based Safety, ICCSIS’08, Int’l Conference on Computer Science & Information Systems, July 2008, Athens.

47. Wolforth I., Walker M., Papadopoulos Y. (2008) A language for failure patterns and application in safety analysis, IEEE Dependable Computing Systems (DEPCOS’08), pp 47-54, Digital Object Identifier 10.1109/DepCoS-RELCOMEX.2008.44, June 26-28 2008, Szklarska Poreba, Poland, June 2008, ISBN: 978-0-7695-3179-3.

48. Parker D., Papadopoulos Y. (2007) Optimization of Networked Control Systems Using Model-based Safety Analysis Techniques, ICNSC07, IEEE Conference On Networking, Sensing and Control, London 15-17 April, Doi 10.1109/ICNSC.2007.372816, Proceedings on CD with ISBN 1-4244-1076-2

49. Uhlig A., Kurzbach G., Hamann R., Papadopoulos Y., Walker M., Lühmann B., (2007) Simulation Model Based Risk and Reliability Analysis, Tagung Technische Zuverlässigkeit, Annual VDI reliability conference, Stuttgart, 22-23.April, Proceedings on CD, ISBN: 1-4354-1378-3

50. Papadopoulos Y. (2007) Advanced Safety Engineering Using Compositional Analysis and Evolutionary Optimisation Techniques, ICCSIS’07, Int’l Conference on Computer Science & Information Systems, July 23-26, 2007, Athens

51. Walker M., Papadopoulos Y. (2007) PANDORA 2: The time of Priority OR gates, DCDS’07, 1st IFAC Workshop on Dependable Control of Discrete Event Systems, Paris, 2007, pp. 169-174, Elsevier Science, also published in ifac-papersonline.net.

52. Parker D., Papadopoulos Y. (2007) Effective Multi-criteria Redundancy Allocation Via Model-Based Safety Analysis, IFAC Workshop on Intelligent Manufacturing Systems, Alicante, 2007, Elsevier Science.

53. Walker M., Bottaci L., Papadopoulos Y. (2007) Compositional Temporal Safety Analysis, 26th Int’l Conf. on Computer Safety, Reliability and Security, Nuremberg, Germany, Sept. 2007

54. Parker, D., Papadopoulos, Y., “Automatic Dependability Versus Cost Optimisation of Distributed Vehicle Control Systems”, 11th European Automotive Congress, EAEC’07, Budapest, Hungary, 2007.

55. Hamann R., Kurzbach G., Lühmann B., Papadopoulos Y., Uhlig A., Walker M. (2007) Extending Simulation X to Support Model-based Safety and Reliability Analysis of Systems, System Simulation Workshop, Dresden, September 2007.

56. Barragan I.S., Faure J-M., Papadopoulos Y. (2006) Including Systematic Faults Into Fault Tree Analysis, SAFEPROCESS’06, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes , Beijing, China, 2006, p.p. 811-818, ISBN 10: 0-08-044485-7.

57. Walker M., Papadopoulos Y. (2006) PANDORA: The time of Priority AND gates, INCOM 2006, 12th IFAC Int’l Symposium on Information Control Problems in Manufacturing, France, 2006, pp. 235-240, Elsevier Science, ISBN: 978-0-08-044654-7

58. Grunske L., Papadopoulos Y. (2006) Application Of Evolutionary Algorithms To Solve The Safety-Costs Trade-Off Problem In Control System Design, INCOM 2006, 12th IFAC Int’l Symposium on Information Control Problems in Manufacturing, France, 2006, Elsevier Science, pp. 247-252, ISBN: 978-0-08-044654-7

59. Papadopoulos Y. (2006) Evolutionary Safety-Cost Tradeoffs in System Design via Compositional Safety Analysis, ICSHA’06, Int’l Conference on Hybrid Systems and Applications, Lafayette, USA.

60. Papadopoulos Y., Tran A., Faure J.-M. C.Grante (2006) Component failure behaviour: patterns and reuse in automated system safety analysis, SAE World Congress, Detroit, April 2006, SAE Volume on Safety Critical Systems, ISBN: 0-7680-1764-5.

61. Papadopoulos Y., Parker D., Walker, Grante C. (2006) Component-Based, Automated FMEA of Advanced Active Safety Systems, FISITA’06, 31st World Automotive Congress, Yokohama, Published by JSAE, ISBN: 4-915219-83-6, 2006.

62. Grante C., Papadopoulos Y. (2005) Achieving tradeoffs between functionality and safety at early stages in the design of complex systems, IFAC, 16th World Congress, Int’l Federation of Automatic Control, Prague, July 4-8, Proceedings on CD, 6 pages, ISBN 0-08-045108-X.

63. Papadopoulos Y., Grante C., Grunske L., Kaiser B. (2005) Continuous assessment of evolving designs & re-use in model-based safety analysis, IFAC, 16th World Congress, Int’l Federation of Automatic Control, Prague, July 4-8, Proceedings on CD, 6 pages, ISBN 0-08-045108-X.

64. Petersen U., Wu Q., Uhlig A., Papadopoulos Y. (2005) Integration von Simulation und Zuverlässigkeitsanalyse für komplexe Systeme, TTZ 2005, 22.Tagung Technische Zuverlässigkeit, Annual VDI (Association of German Engineers) Conf., Stuttgart, 7-8 April 2005.

65. Papadopoulos Y., Parker D., Walker M., Petersen U. , Hamann R., Wu. Q., Uhlig A. (2005) Automated Failure Modes and Effects Analysis (FMEA) of systems on board ship, ICMRT’05, Int’l Conf. On Marine Research and Transportation, Ischia/Naples, September 19-21, Proc. on CD, 12 pages, 2005.

66. Grunske L., Kaiser B., Papadopoulos Y. (2005) Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations, 8th International SIGSOFT Symposium on Component-based Software Engineering (CBSE 2005), St Louis, 2005

67. Papadopoulos Y., Parker D., Grante C. (2004) A method and tool support for model-based semi-automated Failure Modes and Effects Analysis (FMEA) of engineering designs, 9th Australian Workshop Safety Critical Systems (SCS'04), Brisbane, Conf. in Research and Practice in Information Technology, 47:89-95, ACS, 2004.

68. Papadopoulos Y., Grante C. (2004) An evolutionary process for the design of safe computer-based systems, INCOM 2004, 11th IFAC Int’l Symposium on Information Control Problems in Manufacturing, Salvador, Brasil, April 2004, Elsevier Science, ISBN-13: 978-0-08-044249-5 (received distinction among best papers).

69. Papadopoulos Y., Grante C., Wedlin J. (2004) Automating aspects of safety design in contemporary automotive systems, FISITA’04, 30th World Automotive Congress, Barcelona, Proc. on CD, 12 pages, Published by JSAE, ISBN: 4-715221-78-4, 2004 (nominated for the Future Automotive Technology Award).

70. Papadopoulos Y., Parker D., Grante C. (2004) Automating the Failure Modes and Effects Analysis of safety critical systems, HASE’04, 8th IEEE Int’l Symposium on High Assurance Systems Engineering, pp. 312-314. March 2004.

71. Papadopoulos Y., Grante C. (2003) Techniques and tools for automated safety analysis & decision support for redundancy allocation in automotive systems, COMPSAC’03, 27th IEEE Int’l Conf. on Computer Software and Applications, pp. 105-110, Dallas Texas, Nov 2003 (received distinction among best papers).

72. Papadopoulos Y., Petersen U. (2003) Combining ship machinery system design and first principle safety analysis, IMDC’03, 8th Int’l Marine Design Conf., Athens, pp. 1:415-426, ISBN 960-92218-0-7, May 2003.

73. Papadopoulos Y. (2002) Model-based on-line monitoring using a state sensitive fault propagation model, 21st Int’l Conf. on Computer Safety, Reliability and Security, Catania, Sicily, Sept. 2002

74. Scheidler C., Virnich U., Boutin S., Rennhack J., Grünsteidl G., Pisecky M., Kirner R., Papadopoulos Y. (2002) Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell, VDI/VDE GMA Fachtagung, Steuerung und Regelung von Fahrzeugen und Motoren - AutoReg 2002, pp. 226-238, Mannheim, Germany, 2002.

75. Papadopoulos Y., Maruhn M. (2001) Model-based automated synthesis of fault trees from Matlab-Simulink models, DSN’2001, Int’l Conf. on Dependable Systems and Networks, Gotenborg, Sweden, pp. 77-82, ISBN 0-7695-1101-5, July 2001.

76. Papadopoulos Y., McDermid J.A., Scheidler C., Mavrides A., Maruhn M. (2001) Semiautomatic safety analysis of programmable systems in automotive applications, ADAS 2001, Int’l Conf. on Advanced Driver Assistance Systems, Birmingham, U.K., IEE publications, 483:53-57, Sept 2001.

77. Scheidler C., Pushner P., Boutin S., Fuchs E., Gruensteidl G., Papadopoulos Y., Pisecky M., Rennhack J., Virnich U. (2000) Systems Engineering of Time-Triggered architectures – The SETTA Approach, DCCS-2000, 16th Int’l Workshop on Distributed Control Systems, pp 77-83, Sydney, Nov 2000.

78. Papadopoulos Y., Mauri G., McDermid J. A. (2000) Systematic anticipation and validation of scenarios of failure propagation and mitigation in PLC controlled processes, 4th Int’l Symposium on Programmable Systems in Safety Related Applications, pages 1-14/14, Cologne, May 2000.

79. Papadopoulos Y., McDermid J. A. (1999) A new method for safety analysis and the mechanical synthesis of fault trees in complex systems, ICSSEA ‘99, 12th Int’l Conf. on Software and Systems Engineering and their Applications, 4(13):1-9, Paris, Dec 1999.

80. Papadopoulos Y., McDermid J. A. (1999) Extending and automating classical safety analyses to rationalise and simplify complex safety assessments, in Pushner P. (ed.), Design Methods and Tools for Dependable Systems and Quality of Service, 10th European Workshop on Dependable Computing, pages 15-20, Austrian Computer Society, ISBN: 3-85403-125-4, May 1999.

81. Mauri G., McDermid J. A., Papadopoulos Y. (1998) Extension of hazard and safety analysis techniques to address problems of hierarchical scale, IEE Colloquium on Systems Engineering of Aerospace Projects, IEE Digest no: 98/249, pp. 4.1/4.6, London , 1998.

82. Papadopoulos Y., McDermid J. A. (1998) A Harmonised model for safety assessment and certification of safety critical systems, CEIRE '98, 2nd European Conference on Industrial Requirements Engineering, pp. 9-17, London, Oct. 1998 (received distinction among best papers).

Theses

83. Papadopoulos Y., Safety-directed system monitoring using safety cases, D.Phil. thesis, Tech, Rep. YCST-2000-08, Department of Computer Science, University of York , U.K. , 2000.