John S. Fitzgerald

113 papers B 7C 10Misc 2Journal 30Unranked 43

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Introductory Courses on Digital Twins: an Experience Report. CoRR John S. Fitzgerald, Philip James, Cláudio Gomes, Peter Gorm Larsen
2025	J	`jnl`	The Composition of Digital Twins for Systems-of-Systems: a Systematic Literature Review. CoRR Mennatullah T. Khedr, John S. Fitzgerald
2024	J	`jnl`	Can we develop holistic approaches to delivering cyber-physical systems security? Res. Dir. Cyber Phys. Syst. John S. Fitzgerald, Charles Morisset
2024	—	`conf`	Digital Twin Engineering. ISoLA (5) John S. Fitzgerald, Cláudio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock
2024	—	`conf`	Towards the Composition of Digital Twins. The Application of Formal Methods Peter Gorm Larsen, Prasad Talasila, John S. Fitzgerald
2024	—	`ch.`	Verification Technology for VDM: Craft and Automation. The Practice of Formal Methods (I) John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce, Leo Freitas, Nick Battle
2023	—	`conf`	Examining Model Qualities and Their Impact on Digital Twins. ANNSIM Bentley Oakes, Cláudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, João Cambeiro, John S. Fitzgerald
2023	—	`conf`	Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. Applicable Formal Methods for Safe Industrial Products Peter Gorm Larsen, Lukas Esterle, John S. Fitzgerald, Mirgita Frasheri
2023	J	`jnl`	How do we engineer trustworthy digital twins? Res. Dir. Cyber Phys. Syst. Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock
2022	—	`conf`	Data-Driven Reachability Analysis of Digital Twin FMI Models. ISoLA (4) Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis
2022	—	`conf`	Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes
2022	J	`jnl`	Modelling the impacts of crowds on occupants in the built environment - A static, rule-based approach to human perception and movement. Adv. Eng. Informatics Beidi Li, John S. Fitzgerald, Carl Schultz
2021	J	`jnl`	Proceedings of the 18th International Overture Workshop. CoRR John S. Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo
2021	—	`conf`	Six Software Engineering Principles for Smarter Cyber-Physical Systems. ACSOS-C Danny Weyns, Tomás Bures, Radu Calinescu, Barnaby Craggs, John S. Fitzgerald, David Garlan, Bashar Nuseibeh, Liliana Pasquale, Awais Rashid, Ivan Ruchkin, Bradley R. Schmerl
2020	J	`jnl`	A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. CoRR Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
2020	C	`conf`	A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. SIMULTECH Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
2020	J	`jnl`	Editorial to the theme section on model-based engineering of smart systems. Softw. Syst. Model. John S. Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen
2020	—	`conf`	Engineering of Digital Twins for Cyber-Physical Systems. ISoLA (4) John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock
2020	—	`conf`	HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. SIMULTECH (Selected Papers) Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Giuseppe Veneziano, Lorenzo Sutton, Sergio Gusmeroli, George Suciu
2019	—	`conf`	Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. FISEE Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce
2019	J	`jnl`	Editorial. Formal Aspects Comput. Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer
2019	—	`conf`	Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin. From Software Engineering to Formal Methods and Tools, and Back John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce
2019	—	`ed.`	Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2019, Montreal, QC, Canada, May 28, 2019. SEsCPS@ICSE Tomás Bures, Bradley R. Schmerl, John S. Fitzgerald, Danny Weyns
2019	J	`jnl`	Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report. ACM SIGSOFT Softw. Eng. Notes Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald, Adina Aniculaesei, Christian Berger, João Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan D. Pettit, Robert G. Pettit IV, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss, Edith Zavala
2018	—	`conf`	A Non-unified View of Modelling, Specification and Programming. ISoLA (1) Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald
2018	—	`conf`	Cyber-Physical Systems Engineering: An Introduction. ISoLA (3) J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock
2018	—	`ed.`	Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, ICSE 2018, Gothenburg, Sweden, May 27, 2018 SEsCPS@ICSE Tomás Bures, John S. Fitzgerald, Bradley R. Schmerl, Danny Weyns
2018	J	`jnl`	Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects. ACM SIGSOFT Softw. Eng. Notes Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald
2018	J	`jnl`	Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects. ACM SIGSOFT Softw. Eng. Notes Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald
2017	—	`conf`	Features of Integrated Model-Based Co-modelling and Co-simulation Technology. SEFM Workshops Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce
2017	J	`jnl`	Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18). NII Shonan Meet. Rep. Fuyuki Ishikawa, Peter Gorm Larsen, John S. Fitzgerald
2017	—	`conf`	Modelling System of Systems Interface Contract Behaviour. FESCA@ETAPS Oldrich Faldik, Richard John Payne, John S. Fitzgerald, Barbora Buhnova
2017	—	`conf`	SEsCPS 2017 Workshop Summary. SEsCPS@ICSE Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald
2017	—	`conf`	Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems. SEFM Workshops Mark Jackson, John S. Fitzgerald
2016	B	`ed.`	FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings FM John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou
2016	—	`conf`	Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. CPS Data Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh
2016	J	`jnl`	The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA. J. Log. Algebraic Methods Program. Peter Gorm Larsen, John S. Fitzgerald
2016	—	`conf`	Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. ISoLA (2) Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster
2015	J	`jnl`	Ben-ware: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Andrew Stephen McGough, Budi Arief, Carl Gamble, David Wall, John Brennan, John S. Fitzgerald, Aad P. A. van Moorsel, Sujeewa Alwis, Georgios Theodoropoulos, Ed Ruck-Keene
2015	—	`conf`	Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. FormaliSE@ICSE John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock
2015	—	`conf`	Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware). MIST@CCS Andrew Stephen McGough, David Wall, John Brennan, Georgios Theodoropoulos, Ed Ruck-Keene, Budi Arief, Carl Gamble, John S. Fitzgerald, Aad P. A. van Moorsel, Sujeewa Alwis
2015	J	`jnl`	Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. ACM Comput. Surv. Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Jan Peleska
2014	—	`conf`	An approach for managing semantic heterogeneity in Systems of Systems Engineering. SoSE Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen
2014	—	`ch.`	Co-model Structuring and Design Patterns. Collaborative Design for Embedded Systems Kenneth Pierce, Peter Gorm Larsen, John S. Fitzgerald
2014	—	`ch.`	Co-modelling and Co-simulation in Embedded Systems Design. Collaborative Design for Embedded Systems John S. Fitzgerald, Kenneth Pierce
2014	—	`conf`	Co-modelling and co-simulation in the engineering of systems of cyber-physical systems. SoSE John S. Fitzgerald, Ken G. Pierce, Peter Gorm Larsen
2014	—	`ch.`	Co-modelling of Faults and Fault Tolerance Mechanisms. Collaborative Design for Embedded Systems Carl Gamble, Kenneth Pierce, John S. Fitzgerald, Bert Bos
2014	—	`book`	Collaborative Design for Embedded Systems - Co-modelling and Co-simulation John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef
2014	C	`conf`	Collaborative Systems of Systems Need Collaborative Design. PRO-VE John S. Fitzgerald, Jeremy W. Bryans, Peter Gorm Larsen, Hansen Salim
2014	—	`conf`	Contracts in CML. ISoLA (2) Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen
2014	J	`jnl`	Dependable System of Systems Engineering: the COMPASS Project. ERCIM News John S. Fitzgerald, Steve Riddle, Paolo Casoto, Klaus E. Kristensen
2014	—	`ch.`	Discrete-Event Modelling in VDM. Collaborative Design for Embedded Systems Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, Kenneth Pierce
2014	—	`ch.`	From Embedded to Cyber-Physical Systems: Challenges and Future Directions. Collaborative Design for Embedded Systems John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef
2014	J	`jnl`	SoS Fault Modelling at the Architectural Level in an Emergency Response Case Study. CoRR Claire Ingram, Steve Riddle, John S. Fitzgerald, Sakina A. H. J. Al-Lawati, Afra Alrbaiyan
2014	—	`conf`	SysML contracts for systems of systems. SoSE Jeremy W. Bryans, John S. Fitzgerald, Richard John Payne, Alvaro Miyazawa, Klaus E. Kristensen
2014	J	`jnl`	System Development: The DESTECS/Crescendo Technology. ERCIM News John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef
2013	J	`jnl`	A formal approach to collaborative modelling and co-simulation for embedded systems. Math. Struct. Comput. Sci. John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef
2013	C	`conf`	Fault modelling for systems of systems. ISADS Zoe Andrews, John S. Fitzgerald, Richard John Payne, Alexander B. Romanovsky
2013	—	`conf`	Foundations for Model-Based Engineering of Systems of Systems. CSDM John S. Fitzgerald, Peter Gorm Larsen, Jim Woodcock
2013	—	`ch.`	Industrial Deployment of Formal Methods: Trends and Challenges. Industrial Deployment of System Engineering Methods John S. Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock
2012	C	`conf`	A Formal Model-Based Approach to Engineering Systems-of-Systems. PRO-VE John S. Fitzgerald, Jeremy W. Bryans, Richard John Payne
2012	—	`conf`	A rigorous approach to the design of resilient cyber-physical systems through co-simulation. DSN Workshops John S. Fitzgerald, Ken G. Pierce, Carl Gamble
2012	C	`ed.`	Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings ABZ John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
2012	—	`conf`	Features of CML: A formal modelling language for Systems of Systems. SoSE Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa, Simon Perry
2012	—	`conf`	Interface specification for system-of-systems architectures. SoSE Richard John Payne, Jeremy W. Bryans, John S. Fitzgerald, Steve Riddle
2011	—	`ed.`	Proceedings Third Workshop on Formal Aspects of Virtual Organisations, FAVO 2011, Sao Paolo, Brazil, 18th October 2011. FAVO Jeremy W. Bryans, John S. Fitzgerald
2011	C	`conf`	Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. PRO-VE Jeremy W. Bryans, John S. Fitzgerald, Tom McCutcheon
2010	—	`conf`	Are Formal Methods Ready for Agility? A Reality Check. FM+AM Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff
2010	B	`conf`	Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. IFM John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef, Sune Wolff
2010	Misc	`conf`	MetaSelf: an architecture and a development method for dependable self-* systems. SAC Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky
2010	B	`conf`	Patterns for Modelling Time and Consistency in Business Information Systems. ICECCS Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth
2010	—	`ed.`	Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENE '10, London, United Kingdom, April 15-16, 2010 SERENE Giovanna Di Marzo Serugendo, John S. Fitzgerald
2010	J	`jnl`	The overture initiative integrating tools for VDM. ACM SIGSOFT Softw. Eng. Notes Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef
2009	—	`conf`	Common Representation of Information Flows for Dynamic Coalitions FAVO Igor Mozolevsky, John S. Fitzgerald
2009	B	`conf`	Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. ICECCS Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth
2009	J	`jnl`	Formal methods: Practice and experience. ACM Comput. Surv. Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald
2009	B	`conf`	Industrial Practice in Formal Methods: A Review. FM Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock
2009	J	`jnl`	Methods for the Development of Distributed Real-Time Embedded Systems Using VDM. Int. J. Softw. Informatics Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff
2009	—	`book`	Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.). John S. Fitzgerald, Peter Gorm Larsen
2009	J	`jnl`	Practice-oriented courses in formal methods using VDM Formal Aspects Comput. Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle
2009	—	`ed.`	Proceedings Second Workshop on Formal Aspects of Virtual Organisations, FAVO 2009, Eindhoven, The Netherlands, 3rd November 2009. FAVO Jeremy W. Bryans, John S. Fitzgerald
2008	—	`conf`	A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems. Organic Computing - Controlled Self-organization Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi
2008	—	`conf`	Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary. SERENE Anirban Bhattacharyya, John S. Fitzgerald
2008	B	`conf`	Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. FM Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald
2008	J	`jnl`	The connection between two ways of reasoning about partial functions. Inf. Process. Lett. John S. Fitzgerald, Cliff B. Jones
2008	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings ICTAC John S. Fitzgerald, Anne E. Haxthausen, Hüsnü Yenigün
2008	J	`jnl`	VDMTools: advances in support for formal modeling in VDM. ACM SIGPLAN Notices John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara
2008	—	`ch.`	Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef
2007	Misc	`conf`	A metadata-based architectural model for dynamically resilient systems. SAC Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi
2007	—	`conf`	Balancing Insight and Effort: The Industrial Uptake of Formal Methods. Formal Methods and Hybrid Real-Time Systems John S. Fitzgerald, Peter Gorm Larsen
2007	C	`conf`	Formal Engineering of XACML Access Control Policies in VDM++. ICFEM Jeremy W. Bryans, John S. Fitzgerald
2007	—	`conf`	Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef
2006	C	`conf`	Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. ISoLA Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky
2006	J	`jnl`	The industrialization of formal methods. Int. J. Softw. Tools Technol. Transf. John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli
2006	C	`conf`	Triumphs and Challenges for Model-Oriented Formal Methods: The VDM ISoLA John S. Fitzgerald, Peter Gorm Larsen
2005	B	`ed.`	FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings FM John S. Fitzgerald, Ian J. Hayes, Andrzej Tarlecki
2004	—	`conf`	Dependability-Explicit Computing: Applications in e-Science and Virtual Organisations. FIDJI John S. Fitzgerald
2004	J	`jnl`	Formal Methods Europe Update. Formal Aspects Comput. John S. Fitzgerald
1999	J	`jnl`	Formality in specification and modeling: developments in software engineering practice. Adv. Comput. John S. Fitzgerald
1998	—	`ch.`	Proof in the Analysis of a Model of a Tracking System. Proof in VDM John S. Fitzgerald, Cliff B. Jones
1998	—	`ch.`	The Ammunition Control System. Proof in VDM Paul Mukherjee, John S. Fitzgerald
1997	—	`ed.`	FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings FME John S. Fitzgerald, Cliff B. Jones, Peter Lucas
1996	J	`jnl`	Applying Formal Specification in Industry. IEEE Softw. Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes
1996	—	`conf`	Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. FME T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen
1996	—	`conf`	Two Industrial Trials of Formal Specification. AMAST John S. Fitzgerald
1995	—	`conf`	The architectural specification of an avionic subsystem. WIFT Leonor Maria Melo Torcato Barroca, John S. Fitzgerald, L. Spencer
1994	—	`conf`	Formal and Informal Specifications of a Secure System Component: first results in a comparative study. FME John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen
1994	—	`book`	Proof in VDM: A Practitioner's Guide Proof in VDM Juan Bicarregui, John S. Fitzgerald, Peter A. Lindsay, Richard C. Moore, Brian Ritchie
1993	—	`conf`	Experiences in Developing a Proof Theory for VDM Specifications. Semantics of Specification Languages John S. Fitzgerald, R. Moore
1992	—	`conf`	On Foraml Support for Industrial-Scale Requirements Analysis. Hybrid Systems Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed
1992	—	`ch.`	Reasoning about a Modular Model-Oriented Formal Specification. Specifications of Database Systems John S. Fitzgerald
1991	—	`—`	Modularity in model-oriented formal specifications and its interaction with formal reasoning. John S. Fitzgerald
1990	—	`conf`	Modularizing the Formal Description of a Database System. VDM Europe John S. Fitzgerald, Cliff B. Jones