@article{paige1998overview,

title = {An Overview of Eiffel},

author = {Richard Paige},

year  = {1998},

date = {1998-01-01},

journal = {Cetus Team, http://www. cetus-links. org/oo_eiffel. html},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{paige1998specification,

title = {Specification and Refinement using a Heterogeneous Notation for Real-Time, Concurrency, and Communication},

author = {Richard F Paige},

year  = {1998},

date = {1998-01-01},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{paige1998zc,

title = {From Z to BONEiel},

author = {Richard F Paige and Jonathan S Ostro},

year  = {1998},

date = {1998-01-01},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{paige1998notation,

title = {Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space},

author = {Richard F Paige},

year  = {1998},

date = {1998-01-01},

journal = {11th ZUM 1998: the Z Formal Specification Notation: Proceedings},

pages = {214},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{paige1998heterogeneous,

title = {Heterogeneous notations for pure formal method integration},

author = {Richard F Paige},

year  = {1998},

date = {1998-01-01},

journal = {Formal Aspects of Computing},

volume = {10},

number = {3},

pages = {233--242},

publisher = {Springer London},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{paige1998zb,

title = {From Z to BON/Ei el},

author = {Richard F Paige and Jonathan S Ostro},

year  = {1998},

date = {1998-01-01},

journal = {Proc. Automated Software Engineering},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{bicarreguitextordmasculine2016towards,

title = {Towards a Compositional Interpretation of Object Diagrams},

author = {Bicarregui, JC and Lano, KC and Maibaum, TSE},

year  = {1997},

date = {1997-12-31},

journal = {Algorithimic Languages and Calculi},

pages = {187},

publisher = {Springer},

keywords = {action logic, encapsulation, formal methods, object calculus, temporal logic},

pubstate = {published},

tppubtype = {article}

}

@article{paige1997heterogeneous,

title = {Heterogeneous Notations for Formal Method Integration},

author = {Richard F Paige},

year  = {1997},

date = {1997-01-01},

journal = {Formal Aspects of Computing},

volume = {3},

pages = {1--000},

publisher = {Citeseer},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{paige1997using,

title = {Using Heterogeneous Notations to Integrate a Formal and Object-Oriented Method},

author = {Richard F Paige},

year  = {1997},

date = {1997-01-01},

journal = {Submitted to The Computer Journal},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{paige1997examples,

title = {Examples of Formal Heterogeneous Specifications and Formal Integrated Methods},

author = {Richard Paige},

year  = {1997},

date = {1997-01-01},

publisher = {Citeseer},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{lawford19961,

title = {1 Dept. of Elec. & Comp. Eng., Univ. of Toronto, Toronto, ON M5S 1A4 2Dept. of Computer Science, York Univ., North York, ON, M3J IPS},

author = {Lawford, M and Ostroff, JS and Wonham, WM},

year  = {1996},

date = {1996-01-01},

journal = {Formal description techniques, IX: theory, application and tools: IFIP TC6},

volume = {9},

pages = {263},

publisher = {Chapman & Hall},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{smith1996comparing,

title = {Comparing the speed-flow relationship for motorways with new data from the M6},

author = {Spencer W Smith and Fred L Hall and Frank O Montgomery},

year  = {1996},

date = {1996-01-01},

journal = {Transportation Research Part A: Policy and Practice},

volume = {30},

number = {2},

pages = {89--101},

publisher = {Pergamon},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{lawford1995equivalence,

title = {Equivalence preserving transformations for timed transition models},

author = {Lawford, Mark and Wonham, WM},

year  = {1995},

date = {1995-01-01},

journal = {IEEE Transactions on Automatic Control},

volume = {40},

number = {7},

pages = {1167--1179},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{paige1995heterogeneous,

title = {Heterogeneous specifications and their application to software development},

author = {Richard F Paige},

year  = {1995},

date = {1995-01-01},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{paige1995heterogeneousb,

title = {Heterogeneous Specifications and their Application to Software Development, Research Proposal},

author = {Richard F Paige},

year  = {1995},

date = {1995-01-01},

journal = {Department of Computer Science, University of Toronto, Canada},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{paige1994correctness,

title = {Correctness and Performance Analysis of Imperative and Functional Circuits},

author = {Richard Freeman Paige},

year  = {1994},

date = {1994-01-01},

journal = {Parity},

volume = {16},

number = {18},

pages = {18},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{fiadeiro1992temporal,

title = {Temporal theories as modularisation units for concurrent system specification},

author = {Fiadeiro, Jos'e and Maibaum, Tom},

year  = {1992},

date = {1992-01-01},

journal = {Formal aspects of Computing},

volume = {4},

number = {3},

pages = {239--272},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{fiadeiro1992temporalb,

title = {Temporal theories as modularisation units for concurrent system specification},

author = {Fiadeiro, Jos'e and Maibaum, Tom},

year  = {1992},

date = {1992-01-01},

journal = {Formal aspects of Computing},

volume = {4},

number = {3},

pages = {239--272},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{lawfordobservation,

title = {Observation and Implementation of Simple Continuous Time Properties in a Discrete Time Setting with Bounded Jitter},

author = {Lawford, Mark},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{lawford3,

title = {3.6 Qualification of PVS for Systematic Design Verification of a Nuclear Shutdown System},

author = {Lawford, Mark},

journal = {Qualification of Formal Methods Tools},

pages = {150},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{diskinmechanics,

title = {Mechanics of Megamodeling: Design Patterns and Laws},

author = {Diskin, Zinovy and Kokaly, Sahar and Maibaum, Tom},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{aguirremodels,

title = {Models for Analysis and Synthesis},

author = {Aguirre, Nazareno and Maibaum, Tom and Arbab, Farhad and Barbosa, Lu'is S and Meng, Sun and Aichernig, Bernhard K and Rodrigues, Nuno and Broy, Manfred and de Boer, Frank S and Bonsangue, Marcello M and others},

publisher = {World Scientific},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{diskinmodeling,

title = {Modeling Product Lines with Kripke Structures and Modal Logic (Extended Version)},

author = {Diskin, Zinovy and Safilian, Aliakbar and Maibaum, Tom and Ben-David, Shoham},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{elgoal,

title = {Goal Driven Requirements Analysis of Process Control Systems},

author = {El-Maddah, Islam AM and Maibaum, Tom SE},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{elgoalb,

title = {Goal-Oriented B specifications of Process Control Systems},

author = {El-Maddah, Islam and Maibaum, Tom},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{kokalyelementary,

title = {Elementary Model Management Patterns},

author = {Kokaly, Sahar and Diskin, Zinovy and Maibaum, Tom and Gholizadeh, Hamid},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{anandminisymposium,

title = {Minisymposium: Progress and Prospects in Model-Based Scientific Software Development},

author = {Christopher Anand and Spencer Smith and Jacques Carette},

journal = {AMMCS2011},

pages = {293},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{maclachlangool,

title = {GOOL: A Generic Object-Oriented Language},

author = {Brooks MacLachlan and Jacques Carette and Spencer Smith},

keywords = {},

pubstate = {published},

tppubtype = {article}

}