% "lotos.bib"	K. J. Turner (kjt at cs.stir.ac.uk)	09/03/01

% This is a partial bibliography of Lotos-related publications. Please send
% updates and corrections to the editor above. The bibliography was developed
% with contributions from:
%
%   Alan Ezust (University of Montreal)
%   Paul Gibson (University of Stirling)
%   Guenter Karjoth (IBM, Zuerich)
%   Val Jones (University of Twente)
%   Ashley McClenaghan (University of Stirling)
%   Ana Moreira (New University of Lisbon)
%   Ken Turner (University of Stirling)
%   some on-line databases (University of Erlangen, University of Karlsruhe).

@InCollection{Ahooja-Sarikaya-1986,
  author="R. Ahooja and Behcet Sarikaya",
  title="Comparing Normal Forms Obtained from {E}{\sc stelle}
                 and {L}{\sc otos} Specifications",
  editor="Gregor {von Bochmann} and Behcet Sarikaya",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VI",
  month=jun,
  year="1986",
  pages="373--384",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Alderden-1990,
  author="R. Alderden",
  title="{C}{\sc OOPER} -- {The} Compositional Construction of
                 a Canonical Tester",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  year="1990",
  pages="13--18",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Amyot-Bordeleau-Buhr-Logrippo-1996,
  author="Daniel Amyot and F. Bordeleau and Raymond J. A. Buhr
                 and Luigi M. S. Logrippo",
  title="Formal Support for Design Techniques: {A} Time-Threads
                 {L}{\sc otos} Approach",
  editor="Gregor {von Bochmann} and Rachida Dssouli and Omar
                 Rafiq",
  booktitle="Proc.\ Formal Description Techniques VIII",
  year="1996",
  pages="57--72",
  publisher="Chapman-Hall",
  address="London, UK",
}

@MastersThesis{Ang-1990,
  author="Swee Leng Lawrence Ang",
  title="Time Extensions to {L}{\sc otos}: {A} Case Analysis",
  month=apr,
  year="1990",
  school="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@InCollection{Aujla-Fletcher-1988,
  author="Sukhvinder S. Aujla and M. Fletcher",
  title="The Boyer-Moore Theorem-Prover and {L}{\sc otos}",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  month=sep,
  year="1988",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@MastersThesis{Azcorra-1986,
  author="A. Azcorra",
  title="Especificaci\'{o}n en {L}{\sc otos} de un Protocolo de
                 Nivel de Enlace",
  month=nov,
  year="1986",
  school="{ETSI Telecomunicaci\'{o}n-UPM}",
  address="{E-28040 Madrid}",
}

@InCollection{Azcorra-Vazquez-AlvarezCampana-Vinyes-1993,
  author="Arturo Azcorra and Enrique V\'azquez and M.
                 Alvarez-Campana and J. Vinyes",
  title="Formal Description Techniques at Work: {An} {ISDN}
                 {Q.931} Implementation using {L}{\sc otos}",
  editor="Andr\'e~A.~S. Danthine and Guy Leduc and Pierre
                 Wolper",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification XIII",
  month=may,
  year="1993",
  pages="175--190",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Azema-Drira-Vernadat-1990,
  author="Pierre Azema and K. Drira and F. Vernadat",
  title="A Bus Instrumentation Protocol specified in {L}{\sc
                 otos}",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  month=nov,
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Barbeau-vonBochmann-1990,
  author="M. Barbeau and Gregor {von Bochmann}",
  title="Deriving analysable {Petri Nets} from {L}{\sc otos}
                 specifications",
  month=jan,
  year="1990",
  number="707",
  institution="Department of Computer Science, Universit\'e de
                 Montr\'eal",
  address="Montr\'eal, Canada",
}

@TechReport{Berlinguette-Gueraichi-1988,
  author="Paul Berlinguette and Djaffar Gueraichi",
  title="The Alternating Bit Protocol in {L}{\sc otos}:
                 `Textual' and `Graphical' Representations",
  month=aug,
  year="1988",
  number="TR-88-25",
  institution="University of Ottawa",
  address="Ottawa, Canada",
}

@PhdThesis{Biemans-1989,
  author="F. P. M. Biemans",
  title="A Reference Model for Manufacturing Planning and
                 Control",
  year="1989",
  school="University of Twente, NL",
}

@Article{Biemans-Blonk-1986,
  author="Frank P. M. Biemans and P. Blonk",
  title="On the Formal Specification and Verification of {CIM}
                 Architecture Using {L}{\sc otos}",
  year="1986",
  journal="Computers in Industry",
  volume="7",
  number="6",
  pages="491--504",
}

@TechReport{Binding-1991,
  author="C Binding",
  title="Executing {L}{\sc otos} Behavior Expressions",
  month=apr,
  year="1991",
  number="2118",
  institution="IBM Research Division, Zurich Research Laboratory",
  address="Switzerland",
}

@Article{Binding-Bouma-Dauphin-Karjoth-Yang-1992,
  author="Carl Binding and Wiet Bouma and M. Dauphin and
                 G{\"u}nter Karjoth and Y. Yang",
  title="A Common Compiler for {L}{\sc otos} and {SDL}
                 Specifications",
  year="1992",
  journal="IBM Systems Journal",
  volume="31",
  number="4",
  pages="668--690",
}

@InCollection{Black-1989,
  author="Stewart Black",
  title="Objects and {L}{\sc otos}",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  month=dec,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Bogaards-1989,
  author="Kees Bogaards",
  title="{L}{\sc otos} Supported System Development",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  year="1989",
  pages="279--294",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@PhdThesis{Bogaards-1990,
  author="Kees Bogaards",
  title="A Methodology for the Architectural Design of Open
                 Distributed Systems",
  year="1990",
  school="University of Twente, Enschede, Netherlands",
}

@InProceedings{Bogaards-FerreiraPires-Pras-Schot-1988,
  author="Kees Bogaards and Lu\'{\i}s {Ferreira Pires} and Aiko
                 Pras and Jeroen Schot",
  title="The {P}{\sc angloss} Method",
  editor="CEC",
  booktitle="{E}{\sc sprit} Conference 88",
  year="1988",
  publisher="European Commission",
  address="Belgium, Brussels",
}

@InProceedings{Bohm-deMeer-Schoo-1989,
  author="Paul B{\"o}hm and Jan {de Meer} and Peter Schoo",
  title="Perlon Persistency Checker for Data Type Definitions",
  editor="Ed Brinksma and Giuseppe Scollo and Christopher A.
                 Vissers",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  year="1989",
  pages="285--302",
}

@TechReport{Bolognesi-1988,
  author="Tommaso Bolognesi",
  title="Transparent {L}{\sc otos}",
  month=sep,
  year="1988",
  number="TR C88-40",
  institution="CNUCE/CNR",
  address="Pisa, Italy",
}

@InProceedings{Bolognesi-1990a,
  author="Tommaso Bolognesi",
  title="Timed {L}{\sc otos}: {Which} Way to Go",
  booktitle="Proc.\ Workshop on {L}{\sc otos}",
  year="1990",
  publisher="British Computer Society",
  address="London, UK",
}

@InProceedings{Bolognesi-1990b,
  author="Tommaso Bolognesi",
  title="Timed {L}{\sc otos}: {Which} Way To Go?",
  booktitle="British Telecom -- British Computer Society/FACS Group
                 Meeting on Lotos -- London",
  month=sep,
  year="1990",
}

@InProceedings{Bolognesi-1990c,
  author="T. Bolognesi",
  title="A Graphical Composition Theorem for Networks of
                 {L}{\sc otos} Processes",
  booktitle="Proc.\ 10th International Conference on Distributed
                 Computing Systems",
  month=may,
  year="1990",
  pages="88--95",
  publisher="IEEE Computer Society",
  address="Washington, USA",
}

@InCollection{Bolognesi-1992,
  author="Tommaso Bolognesi",
  title="The Electric Power of {L}{\sc otos} -- Results of a
                 Joint Academic/Industrial Experiment",
  editor="Michel Diaz and Roland Groz",
  booktitle="Proc.\ Formal Description Techniques V",
  month=oct,
  year="1992",
  pages="431--446",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Bolognesi-Brinksma-1988,
  author="Tommaso Bolognesi and Ed Brinksma",
  title="Introduction to the {ISO} Specification Language
                 {L}{\sc otos}",
  month=jan,
  year="1988",
  journal="Computer Networks",
  volume="14",
  number="1",
  pages="25--59",
  publisher="Elsevier Science Publishers",
  address="Amsterdam, Netherlands",
}

@InCollection{Bolognesi-Caneve-1989,
  author="Tommaso Bolognesi and M. Caneve",
  title="{SQUIGGLES}: {A} Tool for the Analysis of {L}{\sc
                 otos} Specifications",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  year="1989",
  pages="201--216",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Bolognesi-deFrutos-OrtegaMallen-1990,
  author="Tommaso Bolognesi and David {de Frutos} and Y. {Ortega
                 Mallen}",
  title="Graphical Composition Theorems for Parallel and Hiding
                 Operators",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  month=nov,
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Bolognesi-Hagsand-Latella-Pehrson-1991,
  author="Tommaso Bolognesi and Olof Hagsand and Diego Latella
                 and Bjorn Pehrson",
  title="The Definition of a Graphical {G}-{L}{\sc otos} Editor
                 Using the Meta-Tool {LOGGIE}",
  month=aug,
  year="1991",
  journal="Computer Networks and ISDN Systems",
  volume="22",
  number="1",
  pages="61--77",
}

@InCollection{Bolognesi-Latella-1989,
  author="Tommaso Bolognesi and Diego Latella",
  title="Techniques for the Formal Definition of the {G-Lotos}
                 Syntax",
  editor="Ed Brinksma and Giuseppe Scollo and Christopher A.
                 Vissers",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  month=jun,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Bolognesi-Lucidi-1991,
  author="Tommaso Bolognesi and F. Lucidi",
  title="{L}{\sc otos}-Like Process Algebras with Urgent or
                 Timed Interactions",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="249--264",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Bolognesi-Lucidi-1993,
  author="Tommaso Bolognesi and Ferdinando Lucidi",
  title="A Timed Full {L}{\sc otos} with Time/Action Tree
                 Semantics",
  editor="Teodor Rus and Charles Rattray",
  booktitle="Theories and Experiences for Real-Time System
                 Development",
  year="1993",
  series="Computing: Vol 2",
  publisher="World Scientific",
}

@InCollection{Bolognesi-Lucidi-Trigila-1990,
  author="T. Bolognesi and F. Lucidi and S. Trigila",
  title="From Timed {Petri} Nets to Timed {L}{\sc otos}",
  editor="Luigi M. S. Logrippo and Robert L. Probert and Hassan
                 Ural",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification X",
  year="1990",
  pages="395--408",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Bolognesi-Najm-Tilanus-1994,
  author="Tommaso Bolognesi and Elie Najm and Paul A. J.
                 Tilanus",
  title="{G}-{L}{\sc otos}: {A} Graphical Language for
                 Concurrent Systems",
  year="1994",
  journal="Computer Networks and ISDN Systems",
  volume="26",
  pages="1101--1127",
}

@InCollection{Bolognesi-Smolka-1987,
  author="Tommaso Bolognesi and S. A. Smolka",
  title="Fundamental Results for the Verification of
                 Observational Equivalence: {A} Survey",
  editor="Harry Rudin and Colin H. West",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VII",
  month=may,
  year="1987",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Book{Bolognesi-vandeLagemaat-Vissers-1995,
  title="The {L}{\sc oto}{S}{\sc phere} Project",
  editor="Tommaso Bolognesi and Jeroen {van de Lagemaat} and
                 Chris A. Vissers",
  year="1995",
  publisher="Kluwer Academic Publishers",
  address="London, UK",
}

@InCollection{Booth-1989,
  author="Robert Booth",
  title="An Evaluation of the {LCF} Theorem Prover Using
                 {L}{\sc otos}",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  month=dec,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Booth-Turner-Jones-1992,
  author="R. E. Booth and K. J. Turner and V. M. Jones",
  title="Formal Methods for Communications Systems Development
                 -- {The} {E}{\sc sprit} Project {L}{\sc oto}{S}{\sc
                 phere}",
  month=apr,
  year="1992",
  journal="BT Technology Journal",
  volume="10",
  number="2",
}

@InProceedings{Booth-Widya-Jones-Clark-coisJuillotFran-vanderHeijden-1992,

  author="Robert E. Booth and Ing Widya and Valerie M. Jones and
                 Robert G. Clark and {c}ois Juillot Fran\ and Gert {van
                 der Heijden}",
  title="A Formal Development Trajectory for {OSI} Application
                 Layer Protocols",
  editor="H. Habrias",
  booktitle="Proc.\ 5th International Conference on Putting into
                 Practice Methods and Tools for Information System
                 Design",
  month=sep,
  year="1992",
  organization="Institut Universitaire de Technologie, Laboratoire
                 d'Informatique, Universit\'e de Nantes",
  address="France",
}

@Article{Boreale-Inverardi-Nesi-1992,
  author="Boreale and Inverardi and Nesi",
  title="Complete Sets of Axioms for Finite Basic {L}{\sc otos}
                 Behavioural Equivalences",
  year="1992",
  journal="Information Processing Letters",
  volume="43",
}

@TechReport{Boshier-Hayward-1990a,
  author="A. G. Boshier and Bronia M. Hayward",
  title="System Documentation for the {One2One} Translator",
  month=feb,
  year="1990",
  institution="National Physical Laboratory",
  address="Teddington, UK",
}

@TechReport{Boshier-Hayward-1990b,
  author="A. G. Boshier and Bronia M. Hayward",
  title="User Guide for the {One2One} Translator",
  month=feb,
  year="1990",
  institution="National Physical Laboratory",
  address="Teddington, UK",
}

@InCollection{Botma-Langerak-1995,
  author="B. Botma and Rom Langerak",
  title="Simulator for {L}{\sc otos} to Study the Independence
                 and Causality of Events",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1995",
  pages="221--223",
  publisher="Chapman-Hall",
  address="London, UK",
}

@TechReport{Bouma-Zuidweg-1993,
  author="Wiet Bouma and Han Zuidweg",
  title="Formal Analysis of Feature Interactions using Model
                 Checking",
  month=feb,
  year="1993",
  number="TI-PU-93-868",
  institution="PTT Research",
  address="Leidschendam, Netherlands",
}

@InProceedings{Boumezbeur-Logrippo-1992,
  author="Rezki Boumezbeur and Luigi M. S. Logrippo",
  title="Specifying Telephone Systems in {L}{\sc otos} and the
                 Feature Interaction Problem",
  editor="Hugo Velthuijsen and Nancy Griffith and Yow-Jian Lin",
  booktitle="Proc.\ International Workshop on Feature Interactions
                 in Telecommunications software Systems",
  month=dec,
  year="1992",
  pages="95--108",
}

@Article{Boumezbeur-Logrippo-1993,
  author="Rezki Boumezbeur and Luigi M. S. Logrippo",
  title="Specifying Telephone Systems in {L}{\sc otos}",
  month=aug,
  year="1993",
  journal="IEEE Communications Magazine",
  pages="38--45",
}

@InCollection{Bowman-Blair-Blair-Chetwynd-1994,
  author="Howard Bowman and Gordon S. Blair and Lynne Blair and
                 Amanda G. Chetwynd",
  title="Time versus Abstraction in Formal Description",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1994",
  pages="467--482",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Bowman-Derrick-Linington-Steen-1996,
  author="Howard Bowman and John Derrick and Peter Linington and
                 Maarten W. A. Steen",
  title="Cross-viewpoint consistency in {O}pen {D}istributed
                 {P}rocessing",
  month=jan,
  year="1996",
  journal="Software Engineering Journal",
  pages="44--57",
  publisher="Institution of Electrical Engineers",
  address="London, UK",
}

@InCollection{Briand-Fehri-Logrippo-Obaid-1987,
  author="J. P. Briand and M. C. Fehri and Luigi M. S. Logrippo
                 and Abdellatif Obaid",
  title="Executing {L}{\sc otos} Specifications",
  editor="Gregor {von Bochmann} and Behcet Sarikaya",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VI",
  month=jun,
  year="1987",
  pages="73--84",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Brinksma-1985,
  author="Ed Brinksma",
  title="A Tutorial on {L}{\sc otos}",
  editor="Michel Diaz",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification V",
  year="1985",
  pages="171--194",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Brinksma-1987a,
  author="Ed Brinksma",
  title="On the Existence of Canonical Testers",
  month=jan,
  year="1987",
  number="INF-87-5",
  institution="University of Twente",
  address="Enschede, Netherlands",
}

@TechReport{Brinksma-1987b,
  author="Ed Brinksma",
  title="Generalised Event Structures in {L}{\sc otos}",
  year="1987",
  number="{L}{\sc otos}/87/V8",
  institution="Department of Informatics, University of Twente",
  address="Enschede, Netherlands",
}

@InCollection{Brinksma-1988a,
  author="Ed Brinksma",
  title="A Theory for the Derivation of Tests",
  editor="Sudhir Aggarwal and Krishan K. Sabnani",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  month=jun,
  year="1988",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@PhdThesis{Brinksma-1988b,
  author="Ed Brinksma",
  title="On the Design of Extended {L}{\sc otos} -- {A}
                 Specification Language for Open Distributed Systems",
  year="1988",
  school="Department of Informatics, University of Twente",
  address="Enschede, Netherlands",
}

@InCollection{Brinksma-1989,
  author="Ed Brinksma",
  title="Specification Modules in {L}{\sc otos}",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  month=dec,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Brinksma-Eertink-1993,
  author="Ed Brinksma and Henk Eertink",
  title="Goal-Driven {L}{\sc otos} Execution",
  editor="Andr\'e~A.~S. Danthine and Guy Leduc and Pierre
                 Wolper",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification XIII",
  month=may,
  year="1993",
  pages="45--60",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Brinksma-Karjoth-1985,
  author="Ed Brinksma and G{\"u}nter Karjoth",
  title="A Specification of the {OSI} Transport Service in
                 {L}{\sc otos}",
  editor="?",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification IV",
  year="1985",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Brinksma-Kars-1991,
  author="Ed Brinksma and Pins Kars",
  title="From Data Structure to Process Structure",
  year="1991",
  institution="University of Twente",
  address="Enschede, Netherlands",
}

@TechReport{Brinksma-Scollo-1986,
  author="Ed Brinksma and Giuseppe Scollo",
  title="Formal Notions of Implementation and Conformance in
                 {L}{\sc otos}",
  month=dec,
  year="1986",
  number="INF-86-13",
  institution="Department of Informatics, University of Twente",
  address="Enschede, Netherlands",
}

@InCollection{Brinksma-Scollo-Steenbergen-1986,
  author="Ed Brinksma and Giuseppe Scollo and Chris
                 Steenbergen",
  title="{L}{\sc otos} Specifications, their Implementations
                 and their Tests",
  editor="Gregor {von Bochmann} and Behcet Sarikaya",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VI",
  month=jun,
  year="1986",
  pages="349--360",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Brinksma-Scollo-Vissers-1987,
  author="Ed Brinksma and Giuseppe Scollo and Chris A. Vissers",
  title="Experience with and Future of {L}{\sc otos} as a
                 Specification Language",
  editor="Roberto Saracco and Paul A. J. Tilanus",
  booktitle="{SDL} 87 -- State of the Art and Future Trends",
  month=apr,
  year="1987",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Bruijning-Specs-1987,
  author="J. Bruijning and {S}{\sc pecs}",
  title="Evaluation and Integration of Specification
                 Languages",
  year="1987",
  journal="Computer Networks and ISDN Systems",
  volume="13",
  pages="75--89",
}

@PhdThesis{Bryans-1997,
  author="Jeremy W. Bryans",
  title="Denotational Semantic Models for Real-Time {L}{\sc
                 otos}",
  year="1997",
  school="University of Reading, UK",
}

@TechReport{Bustard-1987,
  author="David W. Bustard",
  title="Animation of {L}{\sc otos} Specification -- Part {I}
                 (Mainly Textual Presentation)",
  month=sep,
  year="1987",
  institution="Queen's University of Belfast",
  address="Belfast",
}

@Article{Bustard-Norris-Orr-1988,
  author="David W. Bustard and M. T. Norris and R. A. Orr",
  title="A pictorial approach to the animation of
                 process-oriented formal specifications",
  month=jul,
  year="1988",
  journal="Software Engineering Journal",
  volume="3",
  number="4",
  pages="114--118",
}

@TechReport{Bustard-Norris-Orr-1989,
  author="David W. Bustard and Mark T. Norris and Rodney A.
                 Orr",
  title="Formalising the Design of {A}{\sc da} Systems using
                 {L}{\sc otos}",
  month=jun,
  year="1989",
  institution="Queen's University of Belfast",
  address="Belfast",
}

@Article{Bustard-Winstanley-1994,
  author="David W. Bustard and Adam C. Winstanley",
  title="Making Changes to Formal Specifications:
                 {Requirements} and an Example",
  month=aug,
  year="1994",
  journal="IEEE Transactions on Software Engineering",
  volume="20",
  number="8",
  pages="562--568",
}

@InCollection{Bustard-Winstanley-Norris-Orr-1988,
  author="David W. Bustard and Adam C. Winstanley and Mark T.
                 Norris and Rodney A. Orr",
  title="Graphical Views of Process-Oriented Specifications",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  month=sep,
  year="1988",
  pages="143--156",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Cam-Vuong-1989,
  author="R. Cam and Son T. Vuong",
  title="A Formal Specification in {L}{\sc otos}, of a
                 Simplified Cellular Mobile Communication System",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  month=dec,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Carchiolo-Faro-Mirabella-Pappalardo-Scollo-1986,
  author="Vincenza Carchiolo and Alberto Faro and O. Mirabella
                 and Giuseppe Pappalardo and Giuseppe Scollo",
  title="A {L}{\sc otos} Specification of the {P}{\sc roway}
                 Highway Service",
  year="1986",
  journal="IEEE Transactions on Computers",
  volume="C-35",
  number="11",
  pages="949--968",
}

@InCollection{Cavalli-Kim-Maigron-1994,
  author="Ana Cavalli and Sung Un Kim and Patrick Maigron",
  title="Improving conformance Testing for {L}{\sc otos}",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1994",
  pages="367--384",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Chehaibar-Garavel-Mounier-Tawbi-Zulian-1996,
  author="Ghassan Chehaibar and Hubert Garavel and Laurent
                 Mounier and Nadia Tawbi and Ferruccio Zulian",
  title="Specification and Verification of the {PowerScale} Bus
                 Arbitration Protocol: {An} Industrial Experiment with
                 {L}{\sc otos}",
  month=aug,
  year="1996",
  number="2958",
  institution="INRIA",
  address="78153 Le Chesnay Cedex, France",
}

@InCollection{Cheng-Huang-Shiratori-1995,
  author="Z. Cheng and T. Huang and Norio Shiratori",
  title="A New distributed Algorithm for Implementation of
                 {L}{\sc otos} Multi-Rendezvous",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1995",
  pages="493--504",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InProceedings{Cheng-Hulskamp-Jackson-1991,
  author="N. Hong Cheng and J. P. Hulskamp and Lindsay N.
                 Jackson",
  title="An {\it occam} Implementation of {L}{\sc otos}
                 Communication",
  editor="J. Hulskamp and T. Bossomaier and T. Hintz",
  booktitle="ATOUG-4: The Transputer in Australasia",
  month=sep,
  year="1991",
  pages="27--34",
  publisher="IOS Press",
  address="Amsterdam, Netherlands",
}

@InCollection{Cheung-Ye-Ye-Wang-1989,
  author="T. Y. Cheung and Y. C. Ye and X. Ye and G. Q. Wang",
  title="{UO-Lotos}: {A} Syntax/System for Representing,
                 Editing and Translating Graphical {L}{\sc otos}",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  year="1989",
  pages="31--36",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Clark-1990,
  author="R. G. Clark",
  title="A {L}{\sc otos} Specification of a Watchdog Timer
                 Monitoring a Keyboard Handler",
  month=feb,
  year="1990",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@Booklet{Clark-1991a,
  author="R. G. Clark",
  title="Use of the Object-Based Style in
                 Implementation-Oriented {L}{\sc otos} Specifications",
  month=may,
  year="1991",
  address="Berlin, Germany",
  note="Second {L}{\sc oto}{S}{\sc phere} Workshop",
}

@InCollection{Clark-1991b,
  author="R. G. Clark",
  title="The Development of Concurrent {A}{\sc da} Systems from
                 {L}{\sc otos} Specifications",
  editor="R. J Mitchell and D. Simpson",
  booktitle="{A}{\sc da} into the 90's",
  year="1991",
  pages="115--129",
  publisher="Woodhead Publishing Ltd",
}

@TechReport{Clark-1992a,
  author="R. G. Clark",
  title="{L}{\sc otos} Design-Oriented Specification in the
                 Object-Based Style",
  month=apr,
  year="1992",
  number="CSM-84",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="FK9 4LA Stirling, Scotland",
}

@InProceedings{Clark-1992b,
  author="Robert G. Clark",
  title="Using {L}{\sc otos} in the Object-Based Development of
                 Embedded Systems",
  editor="Charles M. I. Rattray and Robert G. Clark",
  booktitle="The Unified Computation Laboratory --- Modelling,
                 Specifications, and Tools",
  month=may,
  year="1992",
  pages="307--319",
  publisher="Oxford University Press",
}

@TechReport{Clark-1994,
  author="Robert G. Clark",
  title="Construction of {L}{\sc otos} Behaviour Expressions
                 from Object Communication Diagrams",
  month=jul,
  year="1994",
  number="CSM-124",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@Article{Clark-Jones-1992,
  author="Robert G. Clark and Valerie M. Jones",
  title="Use of {L}{\sc otos} in the formal development of an
                 {OSI} protocol",
  month=mar,
  year="1992",
  journal="Computer Communications",
  volume="15",
  number="2",
  pages="86--92",
  publisher="Butterworth-Heinemann",
}

@InProceedings{Clark-Moreira-1994,
  author="R. G. Clark and A. M. D. Moreira",
  title="Behavioural Inheritance in {ROOA}",
  booktitle="4th.\ IS-CORE Workshop",
  year="1994",
  address="Amsterdam, The Netherlands",
}

@InProceedings{Clark-Moreira-1997,
  author="Robert G. Clark and Ana M. D. Moreira",
  title="Constructing Formal Specifications from Informal
                 Requirements",
  booktitle="Proc.\ Software Technology and Engineering Practice
                 97",
  month=jul,
  year="1997",
  publisher="Institution of Electrical and Electronic Engineers
                 Press",
  address="London, UK",
}

@InCollection{Costa-Nardi-Rinaldi-1988,
  author="F. Costa and D. Nardi and R. Rinaldi",
  title="{SDS} -- {A} {L}{\sc otos}-Based Tool for Symbolic
                 Debugging",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  month=sep,
  year="1988",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Courtiat-CoelhodaCosta-1991,
  author="Jean-Pierre Courtiat and R. J. {Coelho da Costa}",
  title="A {L}{\sc otos} Based Calculus with True Concurrency
                 Semantics",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="559--574",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Courtiat-deOliveira-1996,
  author="Jean-Pierre Courtiat and R. C. {de Oliveira}",
  title="A Reachability Analysis of {RT}-{L}{\sc otos}
                 Specifications",
  editor="Gregor {von Bochmann} and Rachida Dssouli and Omar
                 Rafiq",
  booktitle="Proc.\ Formal Description Techniques VIII",
  year="1996",
  pages="117--124",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InCollection{Courtiat-Saidouni-1993,
  author="Jean-Pierre Courtiat and Djamel E. Sa{\"{\i}}douni",
  title="Action Refinement in {L}{\sc otos}",
  editor="Andr\'e~A.~S. Danthine and Guy Leduc and Pierre
                 Wolper",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification XIII",
  month=may,
  year="1993",
  pages="341--354",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Cusack-1984,
  author="Elspeth L. Cusack",
  title="Industrial Experience of {L}{\sc otos}",
  month=oct,
  year="1984",
  institution="British Telecom",
  address="Ipswich, UK",
}

@InCollection{Cusack-Lai-1991,
  author="E. Cusack and M. Lai",
  title="Object-oriented Specification in {L}{\sc otos} and {Z}
                 or, my Cat Really is Object-Oriented!",
  editor="J. W. {de Bakker} and Willem P. {de Roever} and G.
                 Rozenberg",
  booktitle="Foundations of Object-Oriented Languages",
  year="1991",
  series="Lecture Notes in Computer Science",
  volume="489",
  pages="179--202",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@InCollection{Cusack-Rudkin-Smith-1990,
  author="E. Cusack and S. Rudkin and C. Smith",
  title="An Object-Oriented Interpretation of {L}{\sc otos}",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  year="1990",
  pages="211--226",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{daCosta-Courtiat-1992,
  author="Rosvelter J. Coelho da Costa and Jean-Pierre
                 Courtiat",
  title="A True Concurrency Semantics for {L}{\sc otos}",
  editor="Michel Diaz and Roland Groz",
  booktitle="Proc.\ Formal Description Techniques V",
  month=oct,
  year="1992",
  pages="347--362",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Dahl-Najm-1994,
  author="Ole Christian Dahl and Elie Najm",
  title="Specification and Detection of {IN} Service
                 Interference using {L}{\sc otos}",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1994",
  pages="53--70",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Davies-Bryans-Schneider-1996,
  author="James Davies and Jeremy W. Bryans and Steven A.
                 Schneider",
  title="Real-Time {L}{\sc otos} and Timed Observations",
  editor="Gregor {von Bochmann} and Rachida Dssouli and Omar
                 Rafiq",
  booktitle="Proc.\ Formal Description Techniques VIII",
  year="1996",
  pages="383--397",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InCollection{Daws-Olivero-Yovine-1995,
  author="C. Daws and A. Olivero and S. Yovine",
  title="Verifying {ET-L}{\sc otos} Programs With {K}{\sc
                 ronos}",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1995",
  pages="227--242",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InCollection{deFrutosEscrig-1993,
  author="David {de Frutos-Escrig}",
  title="A Characterization of {L}{\sc otos} Representable
                 Networks of Parallel Processes",
  editor="Maurice Nivat and Charles M. I. Rattray and Teodor Rus
                 and Giuseppe Scollo",
  booktitle="Proc.\ AMAST '93",
  year="1993",
  pages="281--288",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@Article{DelgadoKloos-deMiguelMoro-RoblesValladares-RabayFilho-MarinLopez-1993,

  author="Carlos {Delgado Kloos} and Tomas {de Miguel Moro} and
                 Tomas {Robles Valladares} and Guadalberto {Rabay Filho}
                 and A. {Mar\'{\i}n L{\'o}pez}",
  title="{VHDL} Generation from a Timed Extension of the Formal
                 Description Technique {L}{\sc otos} with the {F}{\sc
                 ormat} Project",
  year="1993",
  journal="Microprocessing and Microprogramming",
  volume="38",
  pages="589--596",
}

@Article{DelgadoKloos-MarinLopez-deMiguelMoro-RoblesValladares-RabayFilho-1995,

  author="Carlos {Delgado Kloos} and A. {Mar\'{\i}n L{\'o}pez}
                 and Tomas {de Miguel Moro} and Tomas {Robles
                 Valladares} and Guadalberto {Rabay Filho}",
  title="From {L}{\sc otos} to {VHDL}",
  month=sep,
  year="1995",
  journal="Current Issues In Electronic Modeling",
  volume="3",
  publisher="Kluwer Academic Publishers",
  address="London, UK",
}

@TechReport{deMeer-1986,
  author="Jan {de Meer}",
  title="Tutorial on {L}{\sc otos} Data Types",
  month=mar,
  year="1986",
  institution="GMD",
  address="Berlin, Germany",
}

@InCollection{deMeer-1987,
  author="Jan {de Meer}",
  title="Derivation and Validation of Test Scenarios Based on
                 the Formal Specification Language {L}{\sc otos}",
  editor="Gregor {von Bochmann} and Behcet Sarikaya",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VI",
  month=jun,
  year="1987",
  pages="203--216",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{deMiguelMoro-Manas-1987,
  author="Tomas {de Miguel Moro} and Jose A. Ma{\~n}as",
  title="An Implementation Architecture for {L}{\sc otos}",
  editor="A. Cerveira",
  booktitle="Iberian Conference on Data Communications 87",
  month=may,
  year="1987",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{deMiguelMoro-RoblesValladares-Salvachua-Azcorra-1990,
  author="Tomas {de Miguel Moro} and Tomas {Robles Valladares}
                 and Joaqu{\'\i}n Salvachua and Arturo Azcorra",
  title="The {SRTS} Experience: Using {T}{\sc opo} for {L}{\sc
                 otos} Design and Realization",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  month=nov,
  year="1990",
  pages="383--394",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Doumenc-Madelaine-deSimone-1990,
  author="G. Doumenc and Eric Madelaine and R. {de Simone}",
  title="Proving process calculi translations in {\it ecrins}:
                 {The} pure {L}{\sc otos} to {MEIJE} example",
  month=mar,
  year="1990",
  number="RR-1192",
  institution="Institut National de Recherche en Informatique et
                 Automatique",
}

@TechReport{Drayton-Chetwynd-Blair-1991,
  author="L. Drayton and A. Chetwynd and G. Blair",
  title="An Introduction to {L}{\sc otos} Through a Worked
                 Example",
  year="1991",
  institution="Lancaster University",
}

@InCollection{Dubuc-vonBochmann-Bellal-Saba-1990,
  author="M. Dubuc and G. {von Bochmann} and O. Bellal and F.
                 Saba",
  title="Translation from {TTCN} to {L}{\sc otos} and the
                 Validation of Test Cases",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  month=nov,
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Dubuis-1989,
  author="Eric Dubuis",
  title="An Algorithm for Translating {L}{\sc otos} and
                 Behaviour Expressions into Automata and Ports",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  month=dec,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Durante-Sisto-Valenzano-1994,
  author="Luca Durante and Riccardo Sisto and Adriano
                 Valenzano",
  title="Implementation of Static Semantic Analysis of {L}{\sc
                 otos} Specifications",
  month=mar,
  year="1994",
  journal="Software Engineering Journal",
}

@InCollection{Eertink-1991,
  author="Henk Eertink",
  title="Tools for Algebraic Distributed System Design",
  editor="Maurice Nivat and Charles M. I. Rattray and Teodor Rus
                 and Giuseppe Scollo",
  booktitle="AMAST-91",
  year="1991",
  pages="434--442",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@InProceedings{Eertink-1992,
  author="Henk Eertink",
  title="Executing {L}{\sc otos} Specifications: {The} {SMILE}
                 Tool",
  booktitle="Third {L}{\sc oto}{S}{\sc phere} Workshop and
                 Seminar",
  month=sep,
  year="1992",
}

@TechReport{Eertink-Wolz-1991,
  author="Henk Eertink and Dietmar Wolz",
  title="Symbolic Execution of {L}{\sc otos} Specifications",
  month=may,
  year="1991",
  number="ISSN 0923-1714",
  institution="University of Twente, Tele-Informatics and Open
                 Systems Group",
  address="The Netherlands",
}

@InCollection{Eertink-Wolz-1992,
  author="Henk Eertink and Dietmar Wolz",
  title="Symbolic Execution of {L}{\sc otos} Specifications",
  editor="Michel Diaz and Roland Groz",
  booktitle="Proc.\ Formal Description Techniques V",
  month=oct,
  year="1992",
  pages="295--310",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Ehrig-Buntrock-Boehm-Hasler-Nurnberg-Rieckhoff-1986,
  author="Hartmut Ehrig and J. Buntrock and P. Boehm and K. P.
                 Hasler and F. N{\"u}rnberg and C. Rieckhoff",
  title="Towards an algebraic semantics of the {ISO}
                 specification language {L}{\sc otos}.",
  year="1986",
  institution="Technische Universit{\"a}t Berlin",
  address="Germany",
}

@InCollection{Ernberg-Fredlund-Jonsson-1991,
  author="Patrik Ernberg and L. Fredlund and Bengt Jonsson",
  title="Specification and Validation of a Simple Overtaking
                 Protocol using {L}{\sc otos}",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="377--392",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Ernberg-Hovander-Montfort-1992,
  author="Patrik Ernberg and T. Hovander and F. Montfort",
  title="Specification and Implementation of an {ISDN}
                 Telephone System using {L}{\sc otos}",
  editor="Michel Diaz and Roland Groz",
  booktitle="Proc.\ Formal Description Techniques V",
  month=oct,
  year="1992",
  pages="171--186",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@PhdThesis{Faci-1995,
  author="Mohammed Faci",
  title="Detecting Feature Interactions in Telecommunications
                 Systems Designs",
  year="1995",
  school="Department of Computer Science, University of Ottawa",
  address="Canada",
}

@TechReport{Faci-Logrippo-1992,
  author="Mohammed Faci and Luigi M. S. Logrippo",
  title="Specifying Hardware in {L}{\sc otos}",
  month=oct,
  year="1992",
  number="TR-92-34",
  institution="Department of Computer Science, University of Ottawa",
  address="Canada",
}

@InCollection{Faci-Logrippo-1993a,
  author="Mohammed Faci and Luigi M. S. Logrippo",
  title="Specifying Hardware in {L}{\sc otos}",
  booktitle="Proc.\ Computer Hardware Description Languages and
                 Their Applications {XI}",
  month=apr,
  year="1993",
  pages="305--312",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Faci-Logrippo-1993b,
  author="Mohammed Faci and Luigi M. S. Logrippo",
  title="Specifying Features and Analysing Their Interactions
                 in a {L}{\sc otos} Environment",
  month=dec,
  year="1993",
  number="TR-93-21",
  institution="Department of Computer Science, University of Ottawa",
  address="Canada",
}

@InCollection{Faci-Logrippo-1994,
  author="Mohammed Faci and Luigi M. S. Logrippo",
  title="Specifying Features and analysing their Interactions
                 in a {L}{\sc otos} Environment",
  editor="L. G. Bouma and Hugo Velthuijsen",
  booktitle="Proc.\ 2nd.\ International Workshop on Feature
                 Interactions in Telecommunications Systems and Software
                 Systems",
  month=may,
  year="1994",
  pages="136--151",
  publisher="IOS Press",
  address="Amsterdam, Netherlands",
}

@InCollection{Faci-Logrippo-1996,
  author="Mohammed Faci and Luigi M. S. Logrippo",
  title="An Algebraic Framework for the Feature Interaction
                 Problem",
  booktitle="Proc.\ AMAST '96",
  year="1996",
  pages="280--294",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@InCollection{Faci-Logrippo-Stepien-1989,
  author="Mohammed Faci and Luigi M. S. Logrippo and Bernard
                 St\'epien",
  title="Formal Specifications of Telephone Systems in {L}{\sc
                 otos}",
  editor="Ed Brinksma and Giuseppe Scollo and Christopher A.
                 Vissers",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  month=jun,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Faci-Logrippo-Stepien-1991,
  author="Mohammed Faci and Luigi M. S. Logrippo and Bernard
                 St\'epien",
  title="Formal Specification of Telephone Systems in {L}{\sc
                 otos}: {The} Constraint-Oriented Style Approach",
  month=mar,
  year="1991",
  journal="Computer Networks and ISDN Systems",
  volume="21",
  number="1",
  pages="53--67",
}

@Article{Faci-Logrippo-Stepien-1997,
  author="Mohammed Faci and Luigi M. S. Logrippo and Bernard
                 St\'epien",
  title="Structural Models for specifying Telephone Systems",
  month=mar,
  year="1997",
  journal="Computer Networks",
  volume="29",
  number="4",
  pages="501--528",
  publisher="Elsevier Science Publishers",
  address="Amsterdam, Netherlands",
}

@InCollection{Fantechi-Gnesi-Laneve-1990,
  author="Alessandro Fantechi and Stefania Gnesi and C. Laneve",
  title="An Expressive Temporal Logic for Basic {L}{\sc otos}",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  year="1990",
  pages="261--276",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Fantechi-Gnesi-Mazzarini-1990,
  author="A. Fantechi and S. Gnesi and G. Mazzarini",
  title="How Much Expressive are {L}{\sc otos} and Behaviour
                 Expressions?",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  month=nov,
  year="1990",
  pages="17--32",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Fernandez-Garavel-Kerbrat-Mateescu-Mounier-Sighireanu-1996,

  author="Jean-Claude Fern{\'a}ndez and Hubert Garavel and Alain
                 Kerbrat and Radu Mateescu and Laurent Mounier and
                 Mihaela Sighireanu",
  title="{CADP} ({C}{\sc {\ae}sar}/{A}{\sc ld{\'e}baran}
                 {Development Package}): {A} Protocol Validation and
                 Verification Toolbox",
  editor="Rajeev Alur and Thomas A. Henzinger",
  booktitle="Proc.\ 8th.\ Conference on Computer-Aided
                 Verification",
  month=aug,
  year="1996",
  series="Lecture Notes in Computer Science",
  number="1102",
  pages="437--440",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@InProceedings{Fernandez-Garavel-Mounier-Rasse-Rodriguez-1992,
  author="Jean-Claude Fern{\'a}ndez and Hubert Garavel and
                 Laurent Mounier and A. Rasse and Carlos Rodriguez",
  title="A Toolbox for the Verification of {L}{\sc otos}
                 Programs",
  booktitle="Proc.\ 14th.\ International Conference on Software
                 Engineering and its Applications",
  month=may,
  year="1992",
  pages="246--259",
}

@InCollection{Fernandez-Jard-Jeron-Viho-1996,
  author="J. C. Fernandez and C. Jard and T. J{\'e}ron and C.
                 Viho",
  title="Using On-The-Fly Verification Techniques for the
                 Generation of Test Suites",
  editor="Rajeev Alur and Thomas A. Henzinger",
  booktitle="Computer Aided Verification'96",
  year="1996",
  series="Lecture Notes in Computer Science",
  volume="1102",
  pages="348--359",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@InCollection{Fernandez-Kerbrat-Mounier-1993,
  author="Jean-Claude Fern{\'a}ndez and Alain Kerbrat and
                 Laurent Mounier",
  title="Symbolic Equivalence Checking",
  editor="Costas Courcoubetis",
  booktitle="Proc.\ 5th.\ Workshop on Computer-Aided Verification",
  month=jun,
  year="1993",
  series="Lecture Notes in Computer Science",
  number="697",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@InProceedings{Fernandez-Mounier-1991,
  author="Jean-Claude Fern{\'a}ndez and Laurent Mounier",
  title="A Tool Set for Deciding Behavioral Equivalences",
  booktitle="Proc.\ CONCUR'91",
  month=aug,
  year="1991",
  address="Amsterdam, Netherlands",
}

@InCollection{Fernandez-Quemada-Vidaller-Miguel-1988,
  author="A. Fern{\'a}ndez and Juan Quemada and L. Vidaller and
                 C. Miguel",
  title="{P}{\sc rodat} -- {The} derivation of an
                 Implementation from its {L}{\sc otos} Formal
                 Specification",
  editor="Sudhir Aggarwal and Krishan K. Sabnani",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  month=jun,
  year="1988",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{FerreiraPires-deSouza-1990,
  author="Luis {Ferreira Pires} and W. Lopes {de Souza}",
  title="Stepwise Refinement Design Example using {L}{\sc
                 otos}",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  month=nov,
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Fidge-1990,
  author="Colin J. Fidge",
  title="A {L}{\sc otos} Interpreter for Simulating Real-Time
                 Behaviour",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Fidge-1994,
  author="Colin Fidge",
  title="A Comparative Introduction to {CSP}, {CCS} and {L}{\sc
                 otos}",
  month=apr,
  year="1994",
  number="93-24",
  institution="Department of Computer Science, University of
                 Queensland",
  address="Brisbane, Australia",
}

@InCollection{Fiore-Giannotti-1995,
  author="F. Fiore and F. Giannotti",
  title="An Abstract Interpreter For The Specification Language
                 {L}{\sc otos}",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1995",
  pages="309--323",
  publisher="Chapman-Hall",
  address="London, UK",
}

@Article{Fogg-Hicks-Lister-Mansfield-Raymond-1990,
  author="I. Fogg and B. Hicks and Andrew Lister and T.
                 Mansfield and Kerry Raymond",
  title="A Comparison of {L}{\sc otos} and {Z} for specifying
                 Distributed Systems",
  month=feb,
  year="1990",
  journal="Australian Computer Science Communications",
  volume="12",
  number="1",
  pages="88--96",
}

@InCollection{Fouchal-Cavalli-1995,
  author="H. Fouchal and Ana R. Cavalli",
  title="A Modal Based Verification for {L}{\sc otos}",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1995",
  pages="215--217",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InCollection{Fredlund-Orava-1991,
  author="L. Fredlund and Fredrik Orava",
  title="Modelling Dynamic Communication Structures in {L}{\sc
                 otos}",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="185--200",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Freestone-Aujla-1988,
  author="David Freestone and Sukhvinder S. Aujla",
  title="Specifying {ROSE} in {L}{\sc otos}",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  month=sep,
  year="1988",
  pages="231--245",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Fu-Harnois-Logrippo-Sincennes-2000,
  author="Q. Fu and Pascal Harnois and Luigi M. S. Logrippo and
                 Jacques Sincennes",
  title="Feature Interaction Detection: {A} {L}{\sc otos}-Based
                 Approach",
  month=apr,
  year="2000",
  journal="Computer Networks",
  volume="32",
  number="4",
  pages="433--448",
}

@TechReport{Gallouzi-Logrippo-1990,
  author="S. Gallouzi and Luigi M. S. Logrippo",
  title="A {Hoare}-Style Proof System for {L}{\sc otos}",
  month=mar,
  year="1990",
  number="TR-90-13",
  institution="University of Ottawa",
  address="Ottawa, Canada",
}

@InCollection{Gamble-1990,
  author="Mark Gamble",
  title="The {CCSDS} Protocol Validation Programme Inter-Agency
                 Testing using {L}{\sc otos}",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  month=nov,
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Gantechi-Gnesi-Sacchelli-1995,
  author="A. Gantechi and S. Gnesi and R. Sacchelli",
  title="Tableau Methods to describe Strong Bisimilarity on
                 {L}{\sc otos} processes Involving Pure Interleaving and
                 Enabling",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1995",
  pages="218--220",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InCollection{Gao-vonBochmann-1989,
  author="Quiang Gao and Gregor {von Bochmann}",
  title="Distributed Implementation of {L}{\sc otos}
                 Multi-Rendezvous",
  editor="Ed Brinksma and Giuseppe Scollo and Christopher A.
                 Vissers",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  month=jun,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Garavel-1989,
  author="Hubert Garavel",
  title="Compilation of {L}{\sc otos} Abstract Data Types",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  month=dec,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Garavel-1996,
  author="H. Garavel",
  title="An Overview of the {Eucalyptus} Toolbox",
  editor="Zmago Brezocnik and Tatjana Kapus",
  booktitle="Applied Formal Methods in System Design",
  month=jun,
  year="1996",
  pages="76--88",
  organization="Action COST 247",
  address="Maribor, Slovenia",
}

@InCollection{Garavel-Hautbois-1993,
  author="Hubert Garavel and Rene-Pierre Hautbois",
  title="Experimenting with {L}{\sc otos} in the Aerospace
                 Industry",
  editor="Teodor Rus and Charles Rattray",
  booktitle="Theories and Experiences for Real-Time System
                 Development",
  year="1993",
  series="Computing: Vol 2",
  publisher="World Scientific",
}

@InCollection{Garavel-Hautbois-1994,
  author="Hubert Garavel and Ren\'e-Pierre Hautbois",
  title="Experimenting {L}{\sc otos} in Aerospace Industry",
  editor="Teodor Rus and Charmes M. I. Rattray",
  booktitle="Theories and Experience for Real-time system
                 Development",
  year="1994",
  chapter="11",
  publisher="World Scientific",
}

@InProceedings{Garavel-Sifakis-1990,
  author="Hubert Garavel and Joseph Sifakis",
  title="Compilation and verification of {L}{\sc otos}
                 specifications",
  editor="Luigi M. S. Logrippo and Robert L. Probert and Hassan
                 Ural",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification X",
  month=jun,
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Garavel-Sighireanu-1998,
  author="Hubert Garavel and Mihaela Sighireanu",
  title="Towards a Second Generation of {Formal Description
                 Techniques} -- {Rationale} for the Design of {E-L}{\sc
                 otos}",
  editor="Jan-Friso Groote and Bas Luttik and Jos {van Wamel}",
  booktitle="Proc.\ 3rd.\ International Workshop on Formal Methods
                 for Industrial Critical Systems",
  month=may,
  year="1998",
  pages="187--230",
  organization="University of Nantes",
  address="Amsterdam, Netherlands",
}

@InCollection{Ghribi-Logrippo-1993,
  author="B. Ghribi and Luigi M. S. Logrippo",
  title="A Validation Environment for {L}{\sc otos}",
  editor="Andr\'e~A.~S. Danthine and Guy Leduc and Pierre
                 Wolper",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification XIII",
  month=may,
  year="1993",
  pages="93--108",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Giannotti-Latella-1993,
  author="Fosca Giannotti and Diego Latella",
  title="Gate Splitting in {L}{\sc otos} Specifications using
                 Abstract Interpretation",
  editor="?",
  booktitle="Proc.\ TAPSOFT 93",
  year="1993",
  pages="437--452",
}

@TechReport{Gibson-1993a,
  author="J. Paul Gibson",
  title="A {L}{\sc otos}-Based Approach to Neural Network
                 Specification",
  month=may,
  year="1993",
  number="CSM-112",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@TechReport{Gibson-1993b,
  author="J. Paul Gibson",
  title="Formal Object-Based Design In {L}{\sc otos}",
  month=apr,
  year="1993",
  number="CSM-113",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@TechReport{Gibson-1993c,
  author="J. Paul Gibson",
  title="Formal Object-Oriented Development of Software Systems
                 using {L}{\sc otos}",
  month=sep,
  year="1993",
  number="CSM-114",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@PhdThesis{Gibson-1993d,
  author="J. Paul Gibson",
  title="Formal Object Oriented Development of Software Systems
                 using {L}{\sc otos}",
  year="1993",
  school="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@InCollection{Gilbert-1987,
  author="David R. Gilbert",
  title="Executable {L}{\sc otos}: {Using} {P}{\sc arlog} to
                 Implement {FDT}",
  editor="Harry Rudin and Colin H. West",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VII",
  month=may,
  year="1987",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Gilbert-1988,
  author="David R. Gilbert",
  title="A {L}{\sc otos} to {P}{\sc arlog} Translator",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  month=sep,
  year="1988",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Gotzhein-1986,
  author="Reinhard Gotzhein",
  title="Specifying Abstract Data Types with {L}{\sc otos}",
  editor="Gregor {von Bochmann} and Behcet Sarikaya",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VI",
  month=jun,
  year="1986",
  pages="15--26",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{GregorioRodriguez-Nunez-1996,
  author="Carlos Gregorio-Rodriguez and Manuel Nunez",
  title="Specifying and Verifying the Alternating Bit Protocol
                 with Probabilistic-Timed {L}{\sc otos}",
  editor="Zmago Brezocnik and Tatjana Kapus",
  booktitle="Applied Formal Methods in System Design",
  month=jun,
  year="1996",
  isbn="86-435-0155-7",
  pages="38--50",
  publisher="University of Maribor",
  address="Slovenia",
}

@TechReport{Groote-1988,
  author="Jan Friso Groote",
  title="Implementations of Events in {L}{\sc otos}
                 Specifications",
  year="1988",
  number="009/88EN",
  type="Technical Report",
  institution="Philips CFT",
  address="Eindhoven, Netherlands",
}

@InCollection{Gueraichi-Logrippo-1989,
  author="D. Gueraichi and Luigi M. S. Logrippo",
  title="Derivation of Test Cases for {LAPB} from a {L}{\sc
                 otos} Specification",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  month=dec,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Guillemot-HajHussein-Logrippo-1988,
  author="R. Guillemot and Mazen Haj-Hussein and Luigi M. S.
                 Logrippo",
  title="Executing Large {L}{\sc otos} Specifications",
  editor="Sudhir Aggarwal and Krishan K. Sabnani",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  month=jun,
  year="1988",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Guillemot-Logrippo-1988,
  author="R. Guillemot and Luigi M. S. Logrippo",
  title="Derivation of Useful Execution Trees from {L}{\sc
                 otos} by using an Interpreter",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  month=sep,
  year="1988",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{HajHussein-1988,
  author="Mazen Haj-Hussein",
  title="An Interactive System for {L}{\sc otos} Applications
                 ({ISLA})",
  month=nov,
  year="1988",
  number="TR-88-29",
  institution="University of Ottawa",
  address="Ottawa, Canada",
}

@InCollection{HajHussein-Logrippo-Sincennes-1992,
  author="Mazen Haj-Hussein and Luigi M. S. Logrippo and Jacques
                 Sincennes",
  title="Goal-Oriented Execution for {L}{\sc otos}",
  editor="Michel Diaz and Roland Groz",
  booktitle="Proc.\ Formal Description Techniques V",
  month=oct,
  year="1992",
  pages="311--328",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Harrison-Harrison-1992,
  author="David W. Harrison and Michael D. Harrison",
  title="Animating Process-Oriented Specifications:
                 {Experiences} and Lessons",
  booktitle="Proc.\ Automating Formal Methods for Computer-Assisted
                 Prototyping",
  month=jan,
  year="1992",
  publisher="Institution of Electrical Engineers",
  address="London, UK",
}

@InCollection{Hedlund-1993,
  author="M. Hedlund",
  title="The Integration of {L}{\sc otos} with an Object
                 Oriented Development Method",
  editor="J. C. P. Woodcock and P. G. Larsen",
  booktitle="FME '93: Industrial-Strength Formal Methods",
  year="1993",
  series="Lecture Notes in Computer Science",
  volume="670",
  pages="73--82",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@InCollection{Hernalsteen-1997,
  author="Christian Hernalsteen",
  title="A Timed Automaton Model for {ET-L}{\sc otos}
                 Verification",
  editor="Tadanori Mizuno and Norio Shiratori and Teruo
                 Higashino and Atsushi Togashi",
  booktitle="Proc.\ Formal Description Techniques X/Protocol
                 Specification, Testing and Verification XVII",
  month=nov,
  year="1997",
  pages="193--204",
  publisher="Chapman-Hall",
  address="London, UK",
}

@Article{Higashino-vonBochmann-1994,
  author="Teruo Higashino and Gregor {von Bochmann}",
  title="Automatic analysis and test case derivation for a
                 restricted class of {L}{\sc otos} expressions with data
                 parameters",
  month=jan,
  year="1994",
  journal="IEEE Trans. on Software Engineering",
  volume="20",
  number="1",
}

@InCollection{Higashino-vonBochmann-Li-Yasumoto-Taniguchi-1993,
  author="Teruo Higashino and Gregor {von Bochmann} and X. Li
                 and K. Yasumoto and K. Taniguchi",
  title="Test system for a restricted class of {L}{\sc otos}
                 expressions with data parameters",
  editor="Gregor {von Bochmann} and et al",
  booktitle="Protocol Test Systems V",
  year="1993",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Hogrefe-1985,
  author="Dieter Hogrefe",
  title="On the Observable Behaviour of {E}{\sc stelle},
                 {L}{\sc otos}, and {SDL} Specifications",
  month=dec,
  year="1985",
  institution="University of Hamburg",
  address="Hamburg, Germany",
}

@Book{Hogrefe-1989,
  author="Dieter Hogrefe",
  title="{E}{\sc stelle}, {L}{\sc otos} und {SDL}
                 Standard-spezifikationssprachen f{\"u}r Verteilte
                 Systeme",
  year="1989",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@TechReport{Hogrefe-1991,
  author="Dieter Hogrefe",
  title="{OSI} formal specification case study: {The} {Inres}
                 protocol and service",
  year="1991",
  number="91-012",
  institution="University of Bern",
  address="Switzerland",
}

@InCollection{Huzar-Magott-1997,
  author="Zbigniew Huzar and Jan Magott",
  title="Probabilistic Extensions of {TE}-{LOTOS}",
  editor="Ignac Lovrek",
  month=jun,
  year="1997",
  pages="89--99",
  publisher="University of Zagreb",
  address="Croatia",
  isbn="953-184-004-0",
}

@InProceedings{Ichikawa-Yamanaka-Kato-1990,
  author="H. Ichikawa and K. Yamanaka and J. Kato",
  title="Incremental Specifications in {L}{\sc otos}",
  editor="Luigi M. S. Logrippo and Robert L. Probert and Hassan
                 Ural",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification X",
  year="1990",
  pages="183--196",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Ji-Turner-1997,
  author="He Ji and Kenneth J. Turner",
  title="Extended {D}{\sc ill}: Digital Logic with {L}{\sc
                 otos}",
  month=nov,
  year="1997",
  number="CSM-142",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@PhdThesis{JiHe-2000,
  author="{Ji He}",
  title="Formal Specification and Analysis of Digital Hardware
                 Circuits in {L}{\sc otos}",
  month=apr,
  year="2000",
  school="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@TechReport{JiHe-Turner-1998,
  author="{Ji He} and Kenneth J. Turner",
  title="Timed {D}{\sc ill}: Digital Logic with {L}{\sc otos}",
  month=apr,
  year="1998",
  number="CSM-145",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@TechReport{JiHe-Turner-1999a,
  author="{Ji He} and Kenneth J. Turner",
  title="Modelling and Verifying Synchronous Circuits in
                 {D}{\sc ill}",
  month=apr,
  year="1999",
  number="CSM-152",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@InProceedings{JiHe-Turner-1999b,
  author="{Ji He} and Kenneth J. Turner",
  title="Protocol-Inspired Hardware Testing",
  editor="Gyula Csopaki and Sarolta Dibuz and Katalin Tarnay",
  booktitle="Proc.\ Testing Communicating Systems XII",
  month=sep,
  year="1999",
  pages="131--147",
  publisher="Kluwer Academic Publishers",
  address="London, UK",
}

@InProceedings{JiHe-Turner-1999c,
  author="{Ji He} and Kenneth J. Turner",
  title="Specification and Verification of Synchronous Hardware
                 using {L}{\sc otos}",
  editor="Jianping Wu and Samuel T. Chanson and Quiang Gao",
  booktitle="Proc.\ Formal Methods for Protocol Engineering and
                 Distributed Systems (FORTE XII/PSTV XIX)",
  month=oct,
  year="1999",
  pages="295--312",
  publisher="Kluwer Academic Publishers",
  address="London, UK",
}

@InProceedings{JiHe-Turner-2000,
  author="{Ji He} and Kenneth J. Turner",
  title="Verifying and Testing Asynchronous Circuits using
                 {L}{\sc otos}",
  editor="Tommaso Bolognesi and Diego Latella",
  booktitle="Proc.\ Formal Methods for Distributed System
                 Development (FORTE XIII/PSTV XX)",
  month=oct,
  year="2000",
  pages="267--283",
  publisher="Kluwer Academic Publishers",
  address="London, UK",
}

@InProceedings{Johnson-1989,
  author="Stuart G. Johnson",
  title="{SPIDER} -- {Service} and Protocol Interactive
                 Development Environment",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  year="1989",
  pages="67--71",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Jones-1992,
  author="Valerie M. Jones",
  title="Realisation of {CCR} in {C}",
  editor="Ed Brinksma and Tommaso Bolognesi and Chris A.
                 Vissers",
  booktitle="Proc.\ 3rd.\ {L}{\sc oto}{S}{\sc phere} Workshop",
  month=sep,
  year="1992",
  pages="14/1--27",
  organization="{CNUCE}",
  address="Pisa",
}

@InCollection{Jones-1995,
  author="Valerie M. Jones",
  title="Realization of {CCR} in {C}",
  editor="Tommaso Bolognesi and Jeroen {van de Lagemaat} and
                 Chris A. Vissers",
  booktitle="The {L}{\sc oto}{S}{\sc phere} Project",
  year="1995",
  pages="348--368",
  publisher="Kluwer Academic Publishers",
  address="London, UK",
}

@TechReport{Kant-Higashino-vonBochmann-1992,
  author="Christian Kant and Teruo Higashino and Gregor {von
                 Bochmann}",
  title="Deriving Protocol Specifications from Service
                 Specifications Written in {L}{\sc otos}",
  month=jan,
  year="1992",
  number="TR-805",
  institution="D\'epartement d'Informatique et de Recherche
                 Operationnelle, Montr\'eal",
  address="Canada",
}

@InProceedings{KapusKolar-1996,
  author="Monika {Kapus Kolar}",
  title="Functional Decomposition of Basic {L}{\sc otos}
                 Expressions with Generalised Termination, Enabling and
                 Disabling",
  editor="Zmago Brezocnik and Tatjana Kapus",
  booktitle="Applied Formal Methods in System Design",
  month=jun,
  year="1996",
  isbn="86-435-0155-7",
  pages="61--74",
  organization="Action COST 247",
  address="Maribor, Slovenia",
}

@InCollection{KapusKolar-1997,
  author="Monika Kapus-Kolar",
  title="Functionality Bipartition in Basic {E}-{LOTOS}",
  editor="Ignac Lovrek",
  month=jun,
  year="1997",
  pages="101--114",
  publisher="University of Zagreb",
  address="Croatia",
  isbn="953-184-004-0",
}

@InCollection{Karjoth-1988a,
  author="G{\"u}nter Karjoth",
  title="A {LISP}-Based {L}{\sc otos} Environment",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  month=sep,
  year="1988",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Karjoth-1988b,
  author="G{\"u}nter Karjoth",
  title="Implementing Process Algebra Specifications by State
                 Machines",
  editor="Harry Rudin and Colin H. West",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VII",
  year="1988",
  pages="47--60",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Karjoth-1988c,
  author="G. Karjoth",
  title="Stepwise Specification of a Sliding-Window Protocol by
                 Means of Process Algebra",
  editor="B. Plattner and P. G{\"u}nzburger",
  booktitle="1988 International Z{\"u}rich Seminar on Digital
                 Communications",
  year="1988",
  pages="D1.1--D1.6",
}

@InProceedings{Karjoth-1991,
  author="G. Karjoth",
  title="A Compilation of Algebraic Processes Based on
                 Extended-Action Derivation",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  year="1991",
  pages="127--140",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Karjoth-1992,
  author="G{\"u}nter Karjoth",
  title="Implementing {L}{\sc otos} Specifications by
                 Communicating State Machines",
  booktitle="Proc.\ CONCUR '92",
  year="1992",
  series="Lecture Notes in Computer Science",
  volume="630",
  pages="386--400",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@InCollection{Karjoth-1993a,
  author="G{\"u}nter Karjoth",
  title="Generating Transition Graphs from {L}{\sc otos}
                 Specifications",
  editor="Michel Diaz and Roland Groz",
  booktitle="Proc.\ Formal Description Techniques V",
  year="1993",
  pages="281--294",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Karjoth-1993b,
  author="G{\"u}nter Karjoth.",
  title="Dynamic State Machines with Multiway Synchronization,
                 Channels, and Shared Variables",
  editor="R. Jerry Linn and M. {\"U}mit Uyar",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification XII",
  year="1993",
  pages="61--76",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Karjoth-Binding-Gustafsson-1992,
  author="G{\"u}nter Karjoth and Carl Binding and Jan
                 Gustafsson",
  title="{LOEWE}: {A} {L}{\sc otos} Engineering Workbench",
  month=feb,
  year="1992",
  journal="Computer Network and ISDN Systems",
}

@Article{Karjoth-Binding-Gustafsson-1993,
  author="G{\"u}nter Karjoth and Carl Binding and J.
                 Gustafsson",
  title="{LOEWE}: {A} {L}{\sc otos} Engineering Workbench",
  year="1993",
  journal="Computer Networks and {ISDN} Systems",
  volume="25",
  number="7",
  pages="853--874",
  publisher="Elsevier Science Publishers",
  address="Amsterdam, Netherlands",
}

@InProceedings{Karjoth-Kooij-1992,
  author="G{\"u}nter Karjoth and M. Kooij",
  title="Formal Methods for the Implementation of
                 Specifications",
  booktitle="Proc.\ 5th International Conference on Software
                 Engineering and its Applications",
  year="1992",
  pages="841--850",
  publisher="EC2",
  address="Nanterre, France",
}

@InCollection{Kars-1995,
  author="Pim Kars",
  title="Representation of process-gate nets in {L}{\sc otos}
                 and verification of {L}{\sc otos} laws: {The} {Boolean}
                 Algebra Approach",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1995",
  pages="165--180",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InCollection{Kerbrat-1995,
  author="Alain Kerbrat",
  title="Reachable State Space Analysis of {L}{\sc otos}
                 Specifications",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1995",
  pages="181--196",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InCollection{Kerbrat-BenAtallah-1996,
  author="Alan Kerbrat and Slim {Ben Atallah}",
  title="Formal Specification of a Framework for Groupware
                 Development",
  editor="Gregor {von Bochmann} and Rachida Dssouli and Omar
                 Rafiq",
  booktitle="Proc.\ Formal Description Techniques VIII",
  year="1996",
  pages="303--310",
  publisher="Chapman-Hall",
  address="London, UK",
}

@PhdThesis{Kirkwod-1994,
  author="Carron E. Kirkwod",
  title="Verification of {L}{\sc otos} Specifications using
                 Term Rewriting Techniques",
  year="1994",
  school="University of Glasgow",
}

@InProceedings{Kirkwood-1993,
  author="Carron Kirkwood",
  title="Automating (Specification=Implementation) using
                 Equational Reasoning and {L}{\sc otos}",
  booktitle="Proc.\ TAPSOFT 93",
  year="1993",
  pages="544--558",
}

@InCollection{Kirkwood-1996,
  author="Carron Kirkwood",
  title="Specifying Properties of Basic {L}{\sc otos} Processes
                 using Temporal Logic",
  editor="Gregor {von Bochmann} and Rachida Dssouli and Omar
                 Rafiq",
  booktitle="Proc.\ Formal Description Techniques VIII",
  year="1996",
  pages="109--116",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InCollection{Kolar-1997,
  author="Monika Kapus Kolar",
  title="Towards Deriving Protocol Specifications from Service
                 Specifications in {M}-{LOTOS}",
  editor="Marijan Kun\u{s}ti\'c",
  month=jun,
  year="1997",
  pages="373--381",
  publisher="University of Zagreb",
  address="Croatia",
  isbn="953-184-003-2",
}

@Article{Korver-1997,
  author="Henri Korver",
  title="Detecting Feature Interactions with
                 {C}{\ae}sar/Ald\'ebaran",
  month=jul,
  year="1997",
  journal="Science of Computer Programming",
  volume="29",
  number="1",
  pages="259--278",
  publisher="Elsevier Science Publishers",
  address="Amsterdam, Netherlands",
}

@InCollection{Kremer-1995,
  author="Harro Kremer",
  title="Derivation of Efficient Implementations From Formal
                 Descriptions -- {Issues}, Methods and Conformance",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1995",
  pages="431--445",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InCollection{Kremer-vandeLagemaat-Rennoch-Scollo-1992,
  author="Harro Kremer and Jeroen {van de Lagemaat} and Axel
                 Rennoch and Giuseppe Scollo",
  title="Protocol Design using {L}{\sc otos}: {A} Critical
                 Synthesis of a Standardization Experience",
  editor="Michel Diaz and Roland Groz",
  booktitle="Proc.\ Formal Description Techniques V",
  month=oct,
  year="1992",
  pages="231--247",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Kremer-vdLagemaat-Rennoch-Scollo-1992,
  author="H Kremer and J v d Lagemaat and A Rennoch and G
                 Scollo",
  title="Protocol Design Using {L}{\sc otos}: {A} Critical
                 Synthesis of a Standardization Experience",
  month=jan,
  year="1992",
  number="ISSN 0924-3755",
  institution="University of Twente, Tele-Informatics and Open
                 Systems Group",
  address="The Netherlands",
}

@InCollection{Lallemand-Leduc-1991,
  author="E. Lallemand and Guy Leduc",
  title="A {L}{\sc otos} Data Facility Compiler ({DAFY})",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="313--328",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@PhdThesis{Lambolais-1997,
  author="Thomas Lambolais",
  title="Mod\'elisation du {D}\'eveloppement de
                 Sp\'ecifications {LOTOS}",
  month=oct,
  year="1997",
  school="Institut National Polytechnique de Lorraine",
  address="Nancy, France",
}

@InCollection{Langerak-1989,
  author="Rom Langerak",
  title="A Testing Theory for {L}{\sc otos} using Deadlock
                 Detection",
  editor="Ed Brinksma and Giuseppe Scollo and Christopher A.
                 Vissers",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  month=jun,
  year="1989",
  pages="87--98",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Langerak-1990,
  author="Rom Langerak",
  title="Decomposition of functionality: {A} correctness
                 preserving {L}{\sc otos} transformation",
  editor="Luigi M. S. Logrippo and Robert L. Probert and Hassan
                 Ural",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification X",
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Langerak-1991,
  author="Rom Langerak",
  title="Event Structures for Design and Transformation in
                 {L}{\sc otos}",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="265--280",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Langerak-1992a,
  author="Rom Langerak",
  title="Bundle Event Structures: {A} Non-Interleaving
                 Semantics for {L}{\sc otos}",
  editor="Michel Diaz and Roland Groz",
  booktitle="Proc.\ Formal Description Techniques V",
  month=oct,
  year="1992",
  pages="331--346",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@PhdThesis{Langerak-1992b,
  author="Rom Langerak",
  title="Transformations and Semantics for {L}{\sc otos}",
  month=nov,
  year="1992",
  school="Department of Computer Science, University of Twente",
  address="Enschede, Netherlands",
}

@InCollection{Leduc-1987,
  author="Guy J. Leduc",
  title="The Intertwining of Data Types and Processes in
                 {L}{\sc otos}",
  editor="Harry Rudin and Colin H. West",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VII",
  month=may,
  year="1987",
  pages="123--136",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@PhdThesis{Leduc-1990,
  author="Guy Leduc",
  title="On the Role of Implementation Relations in the Design
                 of Distributed Systems using {L}{\sc otos}",
  year="1990",
  school="University of Li{\`e}ge",
}

@InCollection{Leduc-1991a,
  author="Guy Leduc",
  title="An Upward Compatible Timed Extension to {L}{\sc
                 otos}",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  year="1991",
  pages="223--238",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Leduc-1991b,
  author="Guy Leduc",
  title="Conformance relation, associated equivalence, and
                 minimum canonical tester in {L}{\sc otos}",
  month=aug,
  year="1991",
  institution="University of Li\`{e}ge",
  address="Belgium",
}

@Article{Leduc-1992,
  author="G. Leduc",
  title="A framework based on implementation relations for
                 implementing {L}{\sc otos} specifications",
  month=aug,
  year="1992",
  journal="Computer Networks and ISDN Systems",
  volume="25",
  number="1",
  pages="23--41",
}

@InCollection{Leduc-2000,
  author="Guy Leduc",
  title="Multimedia in the {E-L}{\sc otos} Process Algebra",
  booktitle="Formal Methods For Distributed Processing: An Object
                 Oriented Approach",
  year="2000",
  publisher="Cambridge University Press",
  address="UK",
}

@InCollection{Leduc-Leonard-1992,
  author="Guy Leduc and Luc L\'eonard",
  title="A Timed {L}{\sc otos} supporting a Dense Time Domain
                 and including New Timed Operators",
  editor="Michel Diaz and Roland Groz",
  booktitle="Proc.\ Formal Description Techniques V",
  month=oct,
  year="1992",
  pages="87--102",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Leon-1990,
  author="G. Le{\'o}n",
  title="On the Technology Transfer of Formal Methods: {An}
                 Experience on {L}{\sc otos}",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  month=nov,
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Leon-Carracedo-Moreno-Yelmo-Gil-Sanchez-Carrasco-1994,
  author="G. Le{\'o}n and J. Carracedo and J. C. Moreno and J.
                 C. Yelmo and Juan J. Gil and C. S\'anchez and F. J.
                 Carrasco",
  title="An Industrial Experience on Development with {L}{\sc
                 otos} and {SDL}",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1994",
  pages="219--234",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Leon-DelgadoKloos-Gonzaleza-Ruz-1989,
  author="G. Le{\'o}n and C. {Delgado Kloos} and G. Gonzaleza
                 and M. Ruz",
  title="{ASDE}: {Design} of a {L}{\sc otos} Transformational
                 Environment for {L}{\sc otos}",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  month=dec,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Leonard-Leduc-1994,
  author="Luc L\'eonard and Guy Leduc",
  title="An Enhanced Version of Timed {L}{\sc otos} and Its
                 Application to a Case Study",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1994",
  pages="483--500",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Leonard-Leduc-1996,
  author="Luc L\'eonard and Guy Leduc",
  title="An Introduction to {ET}-{LOTOS} for the Description of
                 Time-Sensitive Systems",
  month=may,
  year="1996",
  journal="Computer Networks and ISDN Systems",
  volume="28",
  pages="271--292",
  publisher="Elsevier Science Publishers",
  address="Amsterdam, Netherlands",
}

@Article{Leonard-Leduc-1997,
  author="Luc L\'eonard and Guy Leduc",
  title="An Introduction to {ET-L}{\sc otos} for the
                 Description of Time-Sensitive Systems",
  month=feb,
  year="1997",
  journal="Computer Networks",
  volume="29",
  number="2",
  pages="271--292",
  publisher="Elsevier Science Publishers",
  address="Amsterdam, Netherlands",
}

@Article{Leonard-Leduc-1998,
  author="Luc L\'eonard and Guy Leduc",
  title="A formal definition of time in {L}{\sc otos}",
  year="1998",
  journal="Formal Aspects of Computing",
  volume="10",
  pages="248--266",
}

@TechReport{Lin-1988,
  author="Chee Kheong Lin",
  title="Introduction to {L}{\sc otos} (Language for Temporal
                 Ordering Specification)",
  month=nov,
  year="1988",
  institution="Department of Computer Science, Royal Melbourne
                 Institute of Technology",
  address="Melbourne, Australia",
}

@TechReport{Llana-RabayFilho-1995,
  author="Luis Llana and Gualberto {Rabay Filho}",
  title="Defining Equivalences between Time/Action graphs and
                 Timed Action Graphs",
  month=dec,
  year="1995",
  institution="Department of Telematic Systems Engineering,
                 Polytechnic University of Madrid",
  address="Spain",
}

@TechReport{Logrippo-Faci-HajHussein-1990,
  author="Luigi M. S. Logrippo and Mohammed Faci and Mazen
                 Haj-Hussein",
  title="An Introduction to {L}{\sc otos}: {Learning} by
                 Examples",
  month=mar,
  year="1990",
  number="TR-90-14",
  institution="University of Ottawa",
  address="Ottawa, Canada",
}

@TechReport{Logrippo-Melanchuk-Duwors-1989,
  author="Luigi M. S. Logrippo and T. Melanchuk and R. J.
                 Duwors",
  title="The Algebraic Specification Language {L}{\sc otos}:
                 {An} Industrial Experience",
  month=oct,
  year="1989",
  number="TR-89-35",
  institution="University of Ottawa",
  address="Ottawa, Canada",
}

@TechReport{Logrippo-Obaid-1988,
  author="Luigi M. S. Logrippo and Abdellatif Obaid",
  title="Outils Logiciels pour le Langage {L}{\sc otos}",
  month=may,
  year="1988",
  number="TR-88-16",
  institution="University of Ottawa",
  address="Ottawa, Canada",
}

@Article{Logrippo-Obaid-Briand-Fehri-1988,
  author="Luigi M. S. Logrippo and Abdelatif Obaid and J. P.
                 Briand and M. C. Fehri",
  title="An Interpreter for {L}{\sc otos}, a Specification
                 Language for Distributed Systems",
  month=apr,
  year="1988",
  journal="Software Practice and Experience",
  volume="18",
  number="4",
  pages="365--385",
  publisher="John Wiley and Sons",
  address="New York,USA",
}

@TechReport{MacLeod-Rudkin-1991,
  author="E. MacLeod and S. Rudkin",
  title="Top-level Specification of {DFS} in {L}{\sc otos}",
  month=mar,
  year="1991",
  number="1.0",
  institution="BT",
}

@InProceedings{Madelaine-Vergamini-1989,
  author="E. Madelaine and D. Vergamini",
  title="{AUTO}: {A} Verification Tool for Distributed System
                 Using Reduction of Finite State Automata Networks",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  month=dec,
  year="1989",
  pages="79--84",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Madelaine-Vergamini-1991,
  author="Eric Madelaine and D. Vergamini",
  title="Specification and Verification of a Sliding Window
                 Protocol in {L}{\sc otos}",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="495--510",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Manas-1987,
  author="Jose A. Ma{\~n}as",
  title="Syntax Bracketing",
  month=may,
  year="1987",
  number="{L}{\sc otos}/87/N15",
  institution="Departmento Ingenier\'{i}a Telem\'{a}tica, Ciudad
                 Universitaria",
  address="Madrid, Spain",
}

@TechReport{Manas-1988,
  author="Jos\'{e} A. Ma{\~n}as",
  title="A tutorial on {ADT} Semantics for {L}{\sc otos} Users
                 -- {Part} {I}: {Fundamental} Concepts",
  month=nov,
  year="1988",
  institution="Departmento Ingenier\'{i}a Telem\'{a}tica, Ciudad
                 Universitaria",
  address="Madrid, Spain",
}

@InCollection{Manas-deMiguelMoro-1989,
  author="Jose A. Ma{\~n}as and Tomas {de Miguel Moro}",
  title="From {L}{\sc otos} to {C}",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  year="1989",
  pages="79--84",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Manas-deMiguelMoro-RoblesValladares-Salvachua-Huecas-Veiga-1995,

  author="Jose A. Ma{\~n}as and Tomas {de Miguel Moro} and Tomas
                 {Robles Valladares} and Joaqu{\'\i}n Salvachua and
                 Gabriel Huecas and Marcelino Veiga",
  title="{T}{\sc opo} User Manual (Version {3R6})",
  month=jan,
  year="1995",
  institution="Department of Telematic Systems Engineering,
                 Polytechnic University of Madrid",
  address="Spain",
}

@InCollection{Manas-Salvachua-1991,
  author="Jose A. Ma{\~n}as and J. Salvachua",
  title="{Lambda-Beta}: {A} Virtual {L}{\sc otos} Machine",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="441--456",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Manas-Salvachua-deMiguel-1991,
  author="Jose A. Ma{\~n}as and J. Salvachua and Tomas de
                 Miguel",
  title="A Cross-Compiling Experiment: {A} {PC} Implementation
                 of a {L}{\sc otos} Specification",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="467--470",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Marshall-1989,
  author="Alan K. Marshall",
  title="Introduction to {L}{\sc otos} Tools",
  editor="Peter H. J. {van Eijk} and Chris A. Vissers and Michel
                 Diaz",
  booktitle="The Formal Description Technique {L}{\sc otos}",
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Marso-1989,
  author="F. Marso",
  title="Intermediate System Specification in {L}{\sc otos} of
                 a Connection-Oriented Internet Gateway",
  month=feb,
  year="1989",
  number="SART 89/02/11",
  institution="University of Li\`ege",
  address="Li\`ege, Belgium",
}

@TechReport{Marso-1992,
  author="F. Marso",
  title="Experience with {L}{\sc otos} as a High-Level Design
                 Language",
  month=oct,
  year="1992",
  institution="Universit\'e de Li\`ege",
  address="Li\`ege, Belgium",
}

@InCollection{Martin-RoblesValladares-Fuertes-1990,
  author="J. Martin and J. {Robles Valladares} and L. Fuertes",
  title="Concurrent Modelling in {L}{\sc otos} as a Solution to
                 Real-Time Problems",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  month=nov,
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Massart-1991,
  author="Thierry Massart",
  title="A Calculus to define Correct Transformations of
                 {L}{\sc otos} Specifications",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="281--296",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Mayr-1989,
  author="Thomas Mayr",
  title="Specification of Object-Oriented Systems in {L}{\sc
                 otos}",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  year="1989",
  pages="107--119",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{McClenaghan-1990,
  author="Ashley McClenaghan",
  title="Investigating a Practical Object-Oriented
                 Specification Style for {L}{\sc otos} and Applying this
                 to the Specification of a Distributed Dialogue Board
                 Service",
  month=apr,
  year="1990",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@TechReport{McClenaghan-1990a,
  author="Ashley McClenaghan",
  title="A {L}{\sc otos} Constraint-Oriented Specification of
                 the {CIM-OSA} {IIS} {AC-Service-Definition}",
  year="1990",
  institution="CIM-OSA, Esprit 688",
}

@TechReport{McClenaghan-1990b,
  author="Ashley McClenaghan",
  title="A {L}{\sc otos} Specification of the Behaviour of a
                 Simple Lift System",
  month=apr,
  year="1990",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@InCollection{McClenaghan-1991a,
  author="Ashley McClenaghan",
  title="Experience of using {L}{\sc otos} within the {CIM-OSA}
                 Project",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="109--116",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{McClenaghan-1991b,
  author="Ashley McClenaghan",
  title="Mapping Time-Extended {L}{\sc otos} to Standard
                 {L}{\sc otos}",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="233--248",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{McClenaghan-1993a,
  author="Ashley McClenaghan",
  title="{ReCap-IS}: a tool for capturing the requirements of
                 interactive-systems, using {L}{\sc otos}",
  month=may,
  year="1993",
  number="SPLICE/9",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@PhdThesis{McClenaghan-1993b,
  author="Ashley McClenaghan",
  title="Distributed Systems: {A}rchitecture-Driven
                 Specification using Extended {L}{\sc otos}",
  month=sep,
  year="1993",
  school="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@TechReport{McClenaghan-1993c,
  author="Ashley McClenaghan",
  title="Distributed Systems: {A}rchitecture-Driven
                 Specification using Extended {L}{\sc otos}",
  month=dec,
  year="1993",
  number="CSM-120",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@TechReport{McClenaghan-1994a,
  author="Ashley McClenaghan",
  title="{S}{\sc olve}: {S}pecification using an
                 Object-Oriented, {L}{\sc otos}-Based, Visual Language",
  month=jan,
  year="1994",
  number="CSM-115",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@TechReport{McClenaghan-1994b,
  author="Ashley McClenaghan",
  title="{XD}{\sc ill}: {An} {X}-based Simulator Tool for
                 {D}{\sc ill}",
  month=apr,
  year="1994",
  number="CSM-119",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@TechReport{McClenaghan-Boisson-Black-1990,
  author="Ashley McClenaghan and Daniel Boisson and Stewart
                 Black",
  title="{L}{\sc otos} Specification of the {CIM-OSA} {IIS}
                 {SD-Service-Definition}",
  year="1990",
  institution="CIM-OSA, Esprit 688",
}

@InCollection{Miguel-Fernandez-Vidaller-1992,
  author="C. Miguel and A. Fern{\'a}ndez and L. Vidaller",
  title="Extending {L}{\sc otos} towards Performance
                 Evaluation",
  editor="Michel Diaz and Roland Groz",
  booktitle="Proc.\ Formal Description Techniques V",
  month=oct,
  year="1992",
  pages="103--118",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Miguel-Fernandez-Vidaller-1993,
  author="Carlos Miguel and Angel Fern{\'a}ndez and Leon
                 Vidaller",
  title="{L}{\sc otos} Extended Probabilistic Behaviours",
  year="1993",
  journal="Formal Aspects of Computing",
  volume="5",
  number="3",
  pages="253--281",
}

@TechReport{Moreira-Clark-1993a,
  author="A. M. D. Moreira and R. G. Clark",
  title="Using Rigorous Object-Oriented Analysis",
  month=aug,
  year="1993",
  number="CSM-111",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
  note="{\it Presented at the 7th Brazilian Symposium on
                 Software Engineering, October 1993}",
}

@TechReport{Moreira-Clark-1993b,
  author="A. M. D. Moreira and R. G. Clark",
  title="{ROOA}: {Rigorous} Object-Oriented Analysis",
  month=oct,
  year="1993",
  number="CSM-109",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@InProceedings{Moreira-Clark-1993c,
  author="A. M. D. Moreira and R. G. Clark",
  title="{L}{\sc otos} in the Object-Oriented Analysis
                 Process",
  booktitle="BCS-FACS Workshop on Formal Aspects of Object-Oriented
                 Systems",
  month=dec,
  year="1993",
  address="Imperial College, London",
  note="{\it BCS-FACS (British Computer Society -- Formal
                 Aspects of Computing Science)}",
}

@InProceedings{Moreira-Clark-1993d,
  author="A. M. D. Moreira and R. G. Clark",
  title="Os {M}\'{e}todos Formais na An\'{a}lise de
                 Orienta\c{c}\~{a}o por Objectos",
  booktitle="7th Brazilian Symposium on Software Engineering",
  month=oct,
  year="1993",
  series="Rio de Janeiro, Brazil",
  pages="238--252",
  note="An English version of this paper is presented in the
                 Technical Report CSM-111, Department of Computing
                 Science and Mathematics, University of Stirling",
}

@InCollection{Moreira-Clark-1994a,
  author="A. M. D. Moreira and R. G. Clark",
  title="Combining Object-Oriented Analysis and Formal
                 Description Techniques",
  editor="M. Tokoro and R. Pareschi",
  booktitle="Proc.\ European Conference on Object-Oriented
                 Programming (ECOOP'94)",
  year="1994",
  series="Lecture Notes in Computer Science",
  volume="821",
  pages="344--364",
  publisher="Springer-Verlag",
}

@InCollection{Moreira-Clark-1994b,
  author="Ana M. D. Moreira and Robert G. Clark",
  title="Rigorous Object-Oriented Analysis",
  editor="E. Bertino and S. Urban",
  booktitle="Proc.\ International Symposium on Object-Oriented
                 Methodologies and Systems",
  year="1994",
  series="Lecture Notes in Computer Science",
  number="858",
  pages="65--78",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@InCollection{Moreira-Clark-1994c,
  author="Ana M. D. Moreira and Robert G. Clark",
  title="Combining Object-Oriented Analysis and {Formal
                 Description Techniques}",
  editor="M. Tokoro and R. Pareschi",
  booktitle="Proc.\ 8th European Conference on Object-Oriented
                 Programming",
  year="1994",
  series="Lecture Notes in Computer Science",
  number="821",
  pages="344--364",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@InProceedings{Moreira-Clark-1994d,
  author="A. M. D. Moreira and R. G. Clark",
  title="{O} {M}\'{e}todo {ROOA}",
  booktitle="Object-Oriented Portugal (OOP'94)",
  month=sep,
  year="1994",
  series="Lisbon, Portugal",
}

@TechReport{Moreira-Ladkin-Clark-1994,
  author="Ana M. D. Moreira and Peter B. Ladkin and Robert G.
                 Clark",
  title="Formalizing {OO} Analysis with {L}{\sc otos}",
  month=jul,
  year="1994",
  number="CSM-125",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@TechReport{Munster-1991,
  author="Harold B Munster",
  title="{L}{\sc otos} Specification of the {MAA} Standard,
                 With an Evaluation of {L}{\sc otos}",
  month=sep,
  year="1991",
  number="DITC 191/91",
  institution="National Physical Laboratory",
  address="Middlesex, UK",
}

@InCollection{Murphy-Gunningberg-Kelly-1989,
  author="Susan C. Murphy and Per Gunningberg and John P. J.
                 Kelly",
  title="Implementing Protocols with Multiple Specifications:
                 {Experience} with {E}{\sc stelle}, {L}{\sc otos} and
                 {SDL}",
  editor="Ed Brinksma and Giuseppe Scollo and Christopher A.
                 Vissers",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  month=jun,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Najm-1987,
  author="Elie Najm",
  title="A Verification Oriented Specification in {L}{\sc otos}
                 of the Transport Protocol",
  editor="Harry Rudin and Colin H. West",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VII",
  month=may,
  year="1987",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Najm-Queiroz-Serhrouchi-1989,
  author="Elie Najm and J. Queiroz and A. Serhrouchi",
  title="Pre-Implementing and Verifying Process Algebras",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  month=dec,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Najm-Stefani-1991,
  author="Elie Najm and Jean-Bernard Stefani",
  title="Dynamic Configuration in {L}{\sc otos}",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="201--216",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Najm-Stefani-Fevrier-1996,
  author="Elie Najm and Jean-Bernard Stefani and A. F\'evrier",
  title="Towards a Mobile {L}{\sc otos}",
  editor="Gregor {von Bochmann} and Rachida Dssouli and Omar
                 Rafiq",
  booktitle="Proc.\ Formal Description Techniques VIII",
  year="1996",
  pages="127--142",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InCollection{Nakata-Higashino-Taniguchi-1994,
  author="Akio Nakata and Teruo Higashino and Kenichi
                 Taniguchi",
  title="{L}{\sc otos} Enhancement to specify Time Constraint
                 among Non-Adjacent Actions using First-Order Logic",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1994",
  pages="451--466",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Navarro-Martin-1990,
  author="Josefina Navarro and Pablo San Martin",
  title="Experience in the Development of an {ISDN} Layer 3
                 Service in {L}{\sc otos}",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  month=nov,
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{nez-deFrutos-1996,
  author="Manuel N\'u\~nez and David {de Frutos}",
  title="Testing Semantics for Probabilistic {L}{\sc otos}",
  editor="Gregor {von Bochmann} and Rachida Dssouli and Omar
                 Rafiq",
  booktitle="Proc.\ Formal Description Techniques VIII",
  year="1996",
  pages="367--382",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InProceedings{Notare-Riso-Lorena-deOliveiraPennaNeto-Westphall-1997a,
  author="Mirela Sechi Moretti Annoni Notare and Bernardo
                 Goncalves Riso and Paulo Sergio Lorena and Manoel
                 Camillo de Oliveira Penna Neto and Carlos Becker
                 Westphall",
  title="Formal Design of a Telecommunications Networks
                 Management System",
  editor="International Symposium on Computers ATandT/IEEE and
                 Egypt Communications Alexandria",
  booktitle="AT\&T/IEEE",
  month=jul,
  year="1997",
  organization="Federal University of Santa Catarina",
  address="Florianopolis, Brazil",
}

@InProceedings{Notare-Riso-Lorena-deOliveiraPennaNeto-Westphall-1997b,
  author="Mirela Sechi Moretti Annoni Notare and Bernardo
                 Goncalves Riso and Paulo Sergio Lorena and Manoel
                 Camillo {de Oliveira Penna Neto} and Carlos Becker
                 Westphall",
  title="Formal Design of a Platform for Telecommunication
                 Heterogeneous Network Management",
  editor="8th IFIP/IEEE International Workshop for Distributed
                 Systems Operations and Sydney Management",
  booktitle="8th IFIP/IEEE Internation Workshop",
  month=oct,
  year="1997",
  organization="Federal University of Santa Catarina",
  address="Florianopolis, Brazil",
}

@InProceedings{Notare-Rogerio-Maciel-Riso-Westphall-1997,
  author="Mirela Sechi Moretti Annoni Notare and Ketter Ohnes
                 Rogerio and Cristiano Maciel and Bernardo Goncalves
                 Riso and Carlos Becker Westphall",
  title="Formal Design of Managed Objects",
  booktitle="Chile XIII Conference in Latin America on
                 Informatics",
  month=nov,
  year="1997",
  organization="Federal University of Santa Catarina",
  address="Florianopolis, Brazil",
}

@InCollection{Ohmazi-Tsuji-Yamanaka-Sato-Itabashi-Shimizu-1991,
  author="K. Ohmazi and H. Tsuji and K. Yamanaka and Y. Sato and
                 Y. Itabashi and T. Shimizu",
  title="Design and Implementation of an Application Interface
                 for {L}{\sc otos} Processors",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="345--360",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Patel-Orr-Norris-Bustard-1989,
  author="S. Patel and Rodney A. Orr and Mark T. Norris and
                 David W. Bustard",
  title="Tools to Support Formal Methods",
  editor="?",
  booktitle="Proc.\ 12th International Conference on Software
                 Engineering and its Applications",
  month=may,
  year="1989",
  pages="123--132",
}

@InCollection{PavonGomez-Hulstrom-Quemada-deFrutos-OrtegaMallen-1991,
  author="Santiago {Pav\'on Gomez} and M. Hulstrom and Juan
                 Quemada and David {de Frutos} and Y. {Ortega Mallen}",
  title="Inverse Expansion",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="297--312",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{PavonGomez-Larrabeiti-RabayFilho-1995,
  author="Santiago {Pav\'on Gomez} and David Larrabeiti and
                 Gualberto {Rabay Filho}",
  title="{L}{\sc ola} User Manual (Version {3R6})",
  month=feb,
  year="1995",
  institution="Department of Telematic Systems Engineering,
                 Polytechnic University of Madrid",
  address="Spain",
}

@Article{Pecheur-1992,
  author="Charles Pecheur",
  title="Using {L}{\sc otos} for specifying the {C}{\sc horus}
                 distributed operating system kernel",
  month=mar,
  year="1992",
  journal="Computer Communications",
  volume="15",
  number="2",
  pages="93--102",
  publisher="Butterworth-Heinemann",
}

@InCollection{Pecheur-1993,
  author="Charles Pecheur",
  title="{Vlib}: {Infinite} Virtual Libraries for {L}{\sc
                 otos}",
  editor="Andr\'e~A.~S. Danthine and Guy Leduc and Pierre
                 Wolper",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification XIII",
  month=may,
  year="1993",
  pages="29--44",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@PhdThesis{Pecheur-1996,
  author="Charles Pecheur",
  title="Improving the Specification of Data Types in {L}{\sc
                 otos}",
  year="1996",
  school="Facult\'e des Sciences Appliqu\'es, University of
                 Li\`ege",
  address="Belgium",
}

@TechReport{Pitt-Boshier-Szczygiel-1990,
  author="David Pitt and A. G. Boshier and Bronia M. Szczygiel",
  title="{One2One} -- {A} Tool for Translating {ASN.1} to {ACT
                 ONE}",
  year="1990",
  number="DITC 165/90",
  institution="National Physical Laboratory",
}

@Article{Pitt-Freestone-1990,
  author="D. H. Pitt and D. Freestone",
  title="The Derivation of Conformance Tests from {L}{\sc otos}
                 Specifications",
  month=dec,
  year="1990",
  journal="IEEE Transactions on Software Engineering",
  volume="16",
  number="12",
  pages="1337--1343",
  publisher="IEEE Computer Society",
  address="Washington, USA",
}

@TechReport{Purvis-1990,
  author="J. B. Purvis",
  title="The Use of {L}{\sc otos} for the Specification of
                 Graphics Software",
  month=jul,
  year="1990",
  number="CSTR-90-5",
  institution="Department of Computer Science, Brunel University",
  address="Middlesex, UK",
}

@InCollection{Quemada-1989,
  author="Juan Quemada",
  title="{L}{\sc otos} {Language} {Development} in the {SEDOS}
                 {Project}",
  editor="Peter H. J. {van Eijk} and Chris A. Vissers and Michel
                 Diaz",
  booktitle="The Formal Description Technique {L}{\sc otos}:
                 {Results} of the {E}{\sc sprit} {S}{\sc edos} Project",
  year="1989",
  pages="77--82",
  publisher="Elsevier Science Publishers",
  address="Amsterdam, Netherlands",
}

@TechReport{Quemada-1990,
  author="Juan Quemada",
  title="The Two-Key System: {Playing} with Styles in {L}{\sc
                 otos}",
  month=mar,
  year="1990",
  institution="Department of Telematic Engineering, Polytechnic
                 University of Madrid",
  address="Spain",
}

@TechReport{Quemada-Azcorra-1984,
  author="Juan Quemada and Arturo Azcorra",
  title="A Constraint-Oriented Specification of {Al's} Node",
  month=nov,
  year="1984",
  institution="Department of Telematic Engineering, Polytechnic
                 University of Madrid",
  address="Spain",
}

@InCollection{Quemada-Azcorra-deFrutos-1990,
  author="Juan Quemada and Arturo Azcorra and David {de
                 Frutos}",
  title="{TIC}: {A} Timed Calculus For {L}{\sc otos}",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  year="1990",
  pages="195--209",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Quemada-deFrutos-Azcorra-1993,
  author="Juan Quemada and David {de Frutos} and Arturo
                 Azcorra",
  title="{TIC}: {A} Timed Calculus",
  year="1993",
  journal="Formal Aspects of Computing",
  volume="5",
  number="3",
  pages="224--252",
}

@InCollection{Quemada-etal-1989,
  author="Juan Quemada and et al",
  title="On Protocol Engineering using {L}{\sc otos}",
  booktitle="Communications Networks and Distributed Operating
                 Systems within the Space Environment",
  month=oct,
  year="1989",
  publisher="{ESTEC}",
  address="Noordwijk",
}

@InCollection{Quemada-Fernandez-1987,
  author="Juan Quemada and A. Fern{\'a}ndez",
  title="Introduction of Quantitative Relative Time into
                 {L}{\sc otos}",
  editor="Harry Rudin and Colin H. West",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VII",
  month=may,
  year="1987",
  pages="105--121",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Quemada-Fernandez-Manas-1987,
  author="Juan Quemada and A. Fern{\'a}ndez and Jose A.
                 Ma{\~n}as",
  title="{L}{\sc ola}: {Design} and Verification of Protocols
                 using {L}{\sc otos}",
  editor="A. Cerveira",
  booktitle="Iberian Conference on Data Communications 87",
  month=may,
  year="1987",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Quemada-Larrabeiti-PavonGomez-1994,
  author="Juan Quemada and D. Larrabeiti and Santiago {Pav\'on
                 Gomez}",
  title="Compressing the State Space Representation of {L}{\sc
                 otos} Specifications",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1994",
  pages="19--34",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Quemada-Miguel-deFrutos-Llana-1993,
  author="Juan Quemada and Carlos Miguel and David de Frutos and
                 Luis Llana",
  title="A Timed {L}{\sc otos} Extension",
  editor="Teodor Rus and Charles Rattray",
  booktitle="Theories and Experiences for Real-Time System
                 Development",
  year="1993",
  series="Computing: Vol 2",
  publisher="World Scientific",
}

@InCollection{Quemada-PavonGomez-Fernandez-1989,
  author="Juan Quemada and Santiago {Pav\'on Gomez} and Angel
                 Fern{\'a}ndez",
  title="Transforming {L}{\sc otos} Specifications With {L}{\sc
                 ola}: {The} Parameterized Expansion",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  year="1989",
  pages="45--54",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Rabay-Quemada-1996,
  author="Gualberto Rabay and Juan Quemada",
  title="{TE}-{LOLA}: {A} Timed Extended {LOLA} Prototype",
  editor="Zmago Brezocnik and Tatjana Kapus",
  booktitle="Applied Formal Methods in System Design",
  month=jun,
  year="1996",
  isbn="86-435-0155-7",
  pages="89--95",
  publisher="University of Maribor",
  address="Slovenia",
}

@InProceedings{RabayFilho-Quemada-1996,
  author="Gualberto {Rabay Filho} and Juan Quemada",
  title="{TE-L}{\sc ola}: {A} Timed {L}{\sc ola} Prototype",
  editor="Zmago Brezocnik and Tatjana Kapus",
  booktitle="Proc.\ COST~247 International Workshop on Applied
                 Formal Methods",
  month=jun,
  year="1996",
  pages="85--95",
  organization="University of Maribor",
  address="Slovenia",
}

@TechReport{Raymond-Mansfield-1989,
  author="K. Raymond and T. Mansfield",
  title="A Comparison of {L}{\sc otos} and {Z} for Specifying
                 Distributed Systems",
  month=may,
  year="1989",
  journal="Dept. of Computer Science Technical Report",
  number="111",
  institution="University of Queensland",
  address="Brisbane, Australia",
}

@TechReport{Reade-1992,
  author="Christopher M. P. Reade",
  title="Process Algebra in the Specification of Graphics
                 Standards",
  month=sep,
  year="1992",
  number="CSTR-92-1",
  institution="Department of Computer Science, Brunel University",
  address="Middlesex, UK",
}

@InCollection{Regan-1993,
  author="Timothy Regan",
  title="Multi-Media in Temporal {L}{\sc otos}: {A}
                 Lip-Synchronization Algorithm",
  editor="Andr\'e~A.~S. Danthine and Guy Leduc and Pierre
                 Wolper",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification XIII",
  month=may,
  year="1993",
  pages="127--142",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Rico-vonBochmann-1991,
  author="N. Rico and Gregor {von Bochmann}",
  title="Performance description and analysis for distributed
                 systems using a variant of {L}{\sc otos}",
  editor="Bengt Jonsson and Joachim Parrow and Bj{\o}rn
                 Pehrson",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification XI",
  year="1991",
  pages="199--213",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Rodriguez-Serrano-1988,
  author="S. M. Rodriguez and G. L. Serrano",
  title="Transformation from {L}{\sc otos} Specifications to
                 {Galileo} Nets",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  month=sep,
  year="1988",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Rudkin-1992,
  author="Steve Rudkin",
  title="Inheritance in {L}{\sc otos}",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  year="1992",
  pages="409--424",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Rudkin-MacLeod-1991,
  author="S. Rudkin and E. MacLeod",
  title="Combined Specification Using {ASN.1} and {L}{\sc
                 otos}",
  month=mar,
  year="1991",
  type="DAS internal report",
  institution="BT",
}

@Article{SanchezFernandez-Lopez-MartinezMadrid-Carreras-Lopez-DelgadoKloos-Royo-Breuer-1996,
  author="Luis {S{\'a}nchez Fern{\'a}ndez} and Marin L.
                 L{\'o}pez and Natividad {Mart\'{\i}nez Madrid} and C.
                 Carreras and J. C. L{\'o}pez and Carlos {Delgado Kloos}
                 and A. Royo and Peter T. Breuer",
  title="Co-Design at Work: {The} {Ethernet} Bridge Case
                 Study",
  month=apr,
  year="1996",
  journal="Current Issues in Electronic Modelling",
  volume="8",
  publisher="Kluwer Academic Publishers",
  address="London, UK",
}

@Article{SanchezFernandez-MartinezMadrid-DelgadoKloos-1995,
  author="Luis {S{\'a}nchez Fern{\'a}ndez} and Natividad
                 {Mart\'{\i}nez Madrid} and Carlos {Delgado Kloos}",
  title="Integrating Non-Functional Aspects into {L}{\sc
                 otos}",
  month=dec,
  year="1995",
  journal="Current Issues in Electronic Modelling",
  volume="4",
}

@InCollection{Saras-Berrocal-Riera-1990,
  author="J. Saras and J. Berrocal and J. Riera",
  title="Use of {E}{\sc stelle}, {L}{\sc otos} and {ASN.1} in
                 One Project",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  month=nov,
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Sarashina-Ando-Takahashi-Ohta-Tokita-1994,
  author="Katsuyuki Sarashina and Tsuyoshi Ando and Kaoru
                 Takahashi and Masataka Ohta and Yoshiaki Tokita",
  title="An Integrated Specification Support system for
                 Communication software Design based on Stepwise
                 Refinement and Graphical Representation",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1994",
  pages="205--218",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Saria-Nirschl-Binding-1991,
  author="Heinrich Saria and Heinrich Nirschl and Carl Binding",
  title="Mixing {L}{\sc otos} and {SDL} Specifications",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="425--440",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Sarikaya-Gao-1988,
  author="Behcet Sarikaya and Quiang Gao",
  title="Translation of Test Specifications in {TTCN} to
                 {L}{\sc otos}",
  editor="Sudhir Aggarwal and Krishan K. Sabnani",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  month=jun,
  year="1988",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@PhdThesis{Schieferdecker-1994,
  author="Ian K. Schieferdecker",
  title="Performance-Oriented Specification of Communication
                 Protocols and Verification of Deterministic Bounds of
                 their Qo{S} Characteristics",
  year="1994",
  school="Technical University of Berlin, Germany",
}

@TechReport{Schieferdecker-Wolisz-1992,
  author="Ina Schieferdecker and Adam Wolisz",
  title="Operational Semantics of Timed Interacting Systems:
                 {An} Algebraic Performance Oriented Formal Description
                 Technique",
  year="1992",
  number="92/19",
  institution="Technische Universit{\"a}t Berlin",
  address="Berlin",
}

@InProceedings{Schot-1989,
  author="J. Schot",
  title="Systematic High Level Design of a Switching System for
                 Stream Oriented Traffic",
  booktitle="Proc.\ 7th International Conference on Software
                 Engineering for Telecommunication Switching Systems",
  year="1989",
  organization="IEE",
}

@InProceedings{Schot-1990,
  author="Jeroen Schot",
  title="Systematic Development of High-Performance Distributed
                 System Architectures",
  booktitle="Proc.\ 2nd.\ Workshop on Future Trends of Distributed
                 Computer Systems in the 1990's",
  month=sep,
  year="1990",
  address="Cairo, Egypt",
}

@Article{Schot-1992a,
  author="Jeroen Schot",
  title="Addressing Performance Requirements in the {FDT}-Based
                 Design of Distributed Systems",
  month=may,
  year="1992",
  journal="Computer Communications",
  volume="15",
  number="4",
  pages="235--242",
}

@PhdThesis{Schot-1992b,
  author="Jeroen Schot",
  title="The Role of Architectural Semantics in the Formal
                 Approach to Distributed System Design",
  year="1992",
  school="Department of Informatics, University of Twente",
  address="Enschede, Netherlands",
}

@TechReport{Schot-FerreiraPires-1989,
  author="Jeroen Schot and Lu\'{\i}s {Ferreira Pires}",
  title="{P}{\sc angloss} -- Architectural Task Final
                 Deliverable",
  month=dec,
  year="1989",
  institution="{P}{\sc angloss} Project, {E}{\sc sprit} 890",
  address="European Commission, Brussels, Belgium",
}

@TechReport{Schot-FerreiraPires-1992,
  author="Jeroen Schot and Lu\'{\i}s {Ferreira Pires}",
  title="Design and Implementation Strategies",
  month=aug,
  year="1992",
  number="TIOS-92-25",
  institution="Department of Computer Science and Department of
                 Electrical Engineering, University of Twente",
  address="Netherlands",
}

@InCollection{Scollo-vanSinderen-1986,
  author="Giuseppe Scollo and Marten {van Sinderen}",
  title="On the Architectural Design of the Formal
                 Specification of the Session Standards in {L}{\sc
                 otos}",
  editor="Gregor {von Bochmann} and Behcet Sarikaya",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VI",
  month=jun,
  year="1986",
  pages="3--14",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Scollo-Vissers-Stefano-1986,
  author="Giuseppe Scollo and Chris A. Vissers and A. Di
                 Stefano",
  title="{L}{\sc otos} in Practice",
  editor="H.-J. Kugler",
  booktitle="Information Processing 86",
  month=sep,
  year="1986",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Shiratori-Kaminaga-Takahashi-Noguchi-1989,
  author="Norio Shiratori and H. Kaminaga and K. Takahashi and
                 S. Noguchi",
  title="A Verification Method for {L}{\sc otos} Specifications
                 and Its Application",
  editor="Ed Brinksma and Giuseppe Scollo and Christopher A.
                 Vissers",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  month=jun,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Sighireanu-1998,
  author="Mihaela Sighireanu",
  title="Model-Checking Validation of the {L}{\sc otos}
                 Descriptions of the Invoicing Case Study",
  editor="Michel Allemand and Christian Attiogb\'e and Henri
                 Habrias",
  booktitle="Proc.\ International Workshop on Comparing Systems
                 Specification Techniques",
  month=mar,
  year="1998",
  pages="99--114",
  publisher="University of Nantes",
  address="France",
}

@TechReport{Sighireanu-Mateescu-1997,
  author="Mihaela Sighireanu and Radu Mateescu",
  title="Validation of the Link Layer Protocol of the
                 {IEEE-1394} Serial Bus (`{Firewire}'): {An} Experiment
                 with {E-L}{\sc otos}",
  month=may,
  year="1997",
  number="RR-3172",
  institution="Institut National de Recherche en Informatique et
                 Automatique",
  address="Le Chesnay, France",
}

@Booklet{Sinnott-1993,
  author="Richard O. Sinnott",
  title="Draft -- {ODP} architectural semantics using {L}{\sc
                 otos}",
  year="1993",
  howpublished="International Organization for Standardization",
  note="ISO/IEC JTC1/SC21/WG7",
}

@TechReport{Sinnott-1994,
  author="Richard O. Sinnott",
  title="The Formal Specification in {L}{\sc otos} of a Basic
                 Type Manager",
  year="1994",
  number="CSM-122",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@Article{Sinnott-Turner-1995,
  author="Richard O. Sinnott and Kenneth J. Turner",
  title="Applying Formal Methods to Standard Development: {The}
                 {Open Distributed Processing} Experience",
  month=oct,
  year="1995",
  journal="Computer Standards and Interfaces",
  volume="17",
  pages="615--630",
}

@Article{Sisto-Ciminiera-Valenzano-1991,
  author="R. Sisto and L. Ciminiera and A. Valenzano",
  title="A Protocol for Multirendezvous of {L}{\sc otos}
                 Processes",
  month=apr,
  year="1991",
  journal="IEEE Transactions on Computers",
  volume="40",
  number="4",
  pages="437--447",
  publisher="IEEE Computer Society",
  address="Washington, USA",
}

@InCollection{Specs-1987a,
  author="{S}{\sc pecs}",
  title="Evaluation and Comparison of Three Specification
                 Languages: {SDL}, {L}{\sc otos} and {E}{\sc stelle}",
  editor="Roberto Saracco and Paul A. J. Tilanus",
  booktitle="{SDL} 87 -- State of the Art and Future Trends",
  month=apr,
  year="1987",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Specs-1987b,
  author="{S}{\sc pecs}",
  title="The {S}{\sc pecs} Architecture: {Towards} an
                 Integrated Specification Environment",
  editor="Roberto Saracco and Paul A. J. Tilanus",
  booktitle="{SDL} 87 -- State of the Art and Future Trends",
  month=apr,
  year="1987",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Stepien-Logrippo-1993,
  author="Bernard St\'epien and Luigi M. S. Logrippo",
  title="Status-Oriented Telephone Service Specification: {An}
                 Exercise in {L}{\sc otos} Style",
  editor="Teodor Rus and Charles Rattray",
  booktitle="Theories and Experiences for Real-Time System
                 Development",
  month=oct,
  year="1993",
  series="Computing: Vol 2",
  pages="1--21",
  publisher="World Scientific",
}

@TechReport{Stepien-Logrippo-1994,
  author="Bernard St\'epien and Luigi M. S. Logrippo",
  title="Feature Interaction Detection Using Backward Reasoning
                 with {L}{\sc otos}",
  month=jan,
  year="1994",
  number="TR-94-03",
  institution="University of Ottawa",
  address="Canada",
}

@InCollection{Stepien-Logrippo-1995,
  author="Bernard St{\'e}pien and Luigi M. S. Logrippo",
  title="Feature Interaction Detection Using Backward Reasoning
                 with {L}{\sc otos}",
  editor="Son Vuong",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification XIV",
  month=oct,
  year="1995",
  pages="71--86",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{T-1990,
  author="T3.2",
  title="Deliverable {D3}.2{S}/1{P} Part {III}: {L}{\sc otos}
                 Specifications",
  month=apr,
  year="1990",
  institution="{L}{\sc oto}{S}{\sc phere} Project, {E}{\sc sprit}
                 2304",
  address="European Commission, Brussels, Belgium",
}

@Misc{Tennyson-1842,
  author="Alfred Tennyson",
  title="The {L}{\sc otos} Eaters",
  year="1842",
}

@TechReport{Thomas-1990a,
  author="Muffy H. Thomas",
  title="A semantics for {ASN.1}",
  year="1990",
  number="Report No. 2",
  institution="University of Glasgow",
}

@TechReport{Thomas-1990b,
  author="Muffy H. Thomas",
  title="A semantics for {ASN.1}",
  year="1990",
  number="Report No. 3",
  institution="University of Glasgow",
}

@InCollection{Thomas-1990c,
  author="Muffy H. Thomas",
  title="From 1 Notation to Another One: {An} {ACT ONE}
                 Semantics for {ASN.1}",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  year="1990",
  pages="517--532",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Thomas-1991,
  author="Muffy H. Thomas",
  title="{ASN.1} subtypes",
  month=mar,
  year="1991",
  institution="University of Glasgow",
}

@InCollection{Thomas-1993,
  author="Muffy Thomas",
  title="A Translator for {ASN.1} into {L}{\sc otos}",
  editor="Michel Diaz and Roland Groz",
  booktitle="Proc.\ Formal Description Techniques V",
  year="1993",
  pages="37--52",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Thomas-1994,
  author="Muffy H. Thomas",
  title="The Story of the {Therac}-25 in {L}{\sc otos}",
  month=feb,
  year="1994",
  journal="High Integrity Systems Journal",
  volume="1",
  number="1",
  pages="3--15",
  publisher="Oxford University Press",
  address="UK",
}

@Article{Thomas-Ormsby-1994,
  author="Muffy H. Thomas and T. Ormsby",
  title="On the Design of Side-Stick Controllers in Fly-by-Wire
                 Aircraft",
  month="Spring",
  year="1994",
  journal="ACM Applied Computing Review",
  volume="2",
  number="1",
  pages="15--20",
  publisher="ACM Press",
}

@Proceedings{Tilanus-1990,
  title="Tools for {L}{\sc otos}",
  editor="Paul Tilanus",
  month=aug,
  year="1990",
  pages="1--6",
  publisher="British Computer Society",
  address="London, UK",
}

@InCollection{Tilanus-Yang-1988,
  author="Paul A. J. Tilanus and Y. Yang",
  title="Experience with {L}{\sc otos} and Environment {L}{\sc
                 OTTE} on an {ISDN} Protocol",
  editor="C. M. I. Rattray",
  booktitle="Specification and Verification of Concurrent Systems",
  month=jul,
  year="1988",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@TechReport{Till-1987,
  author="David R. Till",
  title="{L}{\sc otos} Simulator",
  month=jul,
  year="1987",
  institution="Kings College",
  address="London",
}

@InCollection{Tocher-1989,
  author="Alastair J. Tocher",
  title="{L}{\sc otos} and the Formal Specification of
                 Communications Standards: {An} Example",
  editor="Peter N. Scharbach",
  booktitle="Formal Methods -- {Theory} and Practice",
  year="1989",
  pages="5--51",
  publisher="BSP Professional Books",
  address="Oxford, UK",
}

@PhdThesis{Trafford-1997,
  author="Paul Trafford",
  title="The Use of Formal Methods for Safety-Critical
                 Systems",
  month=oct,
  year="1997",
  school="School of Computer Science and Electronic Systems,
                 Kingston University",
  address="Kingston-upon-Thames, UK",
}

@InCollection{Tretmans-1989,
  author="J. Tretmans",
  title="Test Case Derivation from {L}{\sc otos}
                 Specifications",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  month=dec,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Tretmans-Kars-Brinksma-1991,
  author="Jan Tretmans and Pim Kars and Ed Brinksma",
  title="Protocol Conformance Testing: {A} Formal Perspective
                 on {ISO} {IS}-9646",
  month=nov,
  year="1991",
  number="ISSN 0924-3755",
  institution="University of Twente, Tele-Informatics and Open
                 Systems Group",
  address="The Netherlands",
}

@Article{Tripathy-Sarikaya-1991,
  author="P. Tripathy and Behcet Sarikaya",
  title="Test Generation from {L}{\sc otos} Specifications",
  month=apr,
  year="1991",
  journal="IEEE Transactions on Computers",
  volume="40",
  number="4",
  pages="543--552",
  publisher="IEEE Computer Society",
  address="Washington, USA",
}

@InCollection{Turner-1987,
  author="Kenneth J. Turner",
  title="{L}{\sc otos} -- {A} Practical {Formal Description
                 Technique} for {OSI}",
  booktitle="International Open Systems 87",
  month=mar,
  year="1987",
  volume="1",
  pages="265--279",
  publisher="Online Publications",
  address="London",
}

@InCollection{Turner-1988a,
  author="Kenneth J. Turner",
  title="An Architectural Semantics for {L}{\sc otos}",
  editor="Harry Rudin and Colin H. West",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VII",
  month=oct,
  year="1988",
  pages="15--28",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Turner-1988b,
  author="Kenneth J. Turner",
  title="The Alternating Bit Protocol --- {C}onstraint-Oriented
                 Specifications in {L}{\sc otos}",
  booktitle="Proc.\ British Computer Society Workshop on Formal
                 Methods in Standards",
  month=apr,
  year="1988",
  pages="1--13",
  organization="British Computer Society",
  address="London",
}

@InProceedings{Turner-1989a,
  author="Kenneth J. Turner",
  title="A {L}{\sc otos} Case Study: {Specification} of the
                 {OSI} Connection-Oriented Network Service",
  booktitle="Proc.\ {OTC} Workshop on Formal Techniques",
  month=jul,
  year="1989",
  organization="Overseas Telecommunications",
  address="Sydney, Australia",
}

@Manual{Turner-1989b,
  author="Kenneth J. Turner",
  title="The Formal Specification Language {L}{\sc otos}: {A}
                 Course For Users",
  month=aug,
  year="1989",
  organization="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@InCollection{Turner-1990a,
  author="Kenneth J. Turner",
  title="A {L}{\sc otos}-Based Development Strategy",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  year="1990",
  pages="157--174",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Book{Turner-1990b,
  title="Guidelines for the Application of {E}{\sc stelle},
                 {L}{\sc otos}, and {SDL}",
  editor="Kenneth J. Turner",
  month=jan,
  year="1990",
  pages="1--357",
  publisher="International Telecommunications Union",
  address="Geneva, Switzerland",
}

@TechReport{Turner-1990c,
  author="Kenneth J. Turner",
  title="Template-Based Specification in {L}{\sc otos}",
  month=may,
  year="1990",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@InProceedings{Turner-1990d,
  author="Kenneth J. Turner",
  title="A Conversion Tutorial for {L}{\sc otos}",
  booktitle="Proc.\ Workshop on {L}{\sc otos}",
  month=sep,
  year="1990",
  publisher="British Computer Society",
  address="London, UK",
}

@Book{Turner-1993a,
  title="Using Formal Description Techniques --- {A}n
                 Introduction to {E}{\sc stelle}, {L}{\sc otos} and
                 {SDL}",
  editor="Kenneth J. Turner",
  month=jan,
  year="1993",
  pages="xiv+431",
  publisher="Wiley",
  address="New York",
}

@TechReport{Turner-1993d,
  author="Kenneth J. Turner",
  title="{L}{\sc otos} {News}",
  month=aug,
  year="1993",
  number="0",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@TechReport{Turner-1994d,
  author="Kenneth J. Turner",
  title="{L}{\sc otos} {News}",
  month=feb,
  year="1994",
  number="1",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@TechReport{Turner-1994e,
  author="Kenneth J. Turner",
  title="{L}{\sc otos} {News}",
  month=aug,
  year="1994",
  number="2",
  institution="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@Article{Turner-1997b,
  author="Kenneth J. Turner",
  title="Relating Architecture and Specification",
  month=mar,
  year="1997",
  journal="Computer Networks",
  volume="29",
  number="4",
  pages="437--456",
  publisher="Elsevier Science Publishers",
  address="Amsterdam, Netherlands",
}

@Article{Turner-1997f,
  author="Kenneth J. Turner",
  title="Incremental Requirements Specification with {L}{\sc
                 otos}",
  month=nov,
  year="1997",
  journal="Requirements Engineering Journal",
  volume="2",
  pages="132--151",
  publisher="Springer-Verlag",
  address="London, UK",
}

@InCollection{Turner-1998b,
  author="Kenneth J. Turner",
  title="The Invoicing Case Study in {(E-)L}{\sc otos}",
  editor="Michel Allemand and Christian Attiogb\'e and Henri
                 Habrias",
  booktitle="Proc.\ International Workshop on Comparing Systems
                 Specification Techniques",
  month=mar,
  year="1998",
  pages="83--98",
  publisher="University of Nantes",
  address="France",
}

@InProceedings{Turner-2000,
  author="Kenneth J. Turner",
  title="The {\it N}-Body Problem in {L}{\sc otos}",
  editor="Howard Bowman",
  booktitle="Proc.\ Formal Methods Elsewhere",
  month=oct,
  year="2000",
  pages="84--99",
  publisher="Computing Laboratory, University of Kent",
  address="Canterbury, UK",
  note="TR 11-00",
}

@InCollection{Turner-McClenaghan-1995,
  author="Kenneth J .Turner and Ashley McClenaghan",
  title="Visual Animation of {L}{\sc otos} Using {S}{\sc
                 olve}",
  editor="Dieter Hogrefe and Stefan Leue",
  booktitle="Proc.\ Formal Description Techniques VII",
  year="1995",
  pages="283--285",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InCollection{Turner-Sighireanu-2001,
  author="Kenneth J. Turner and Mihaela Sighireanu",
  title="{(E-)L}{\sc otos}: {(Enhanced)} Language Of Temporal
                 Ordering Specification",
  editor="Marc Frappier and Henri Habrias",
  booktitle="Software Specification Methods",
  month=jan,
  year="2001",
  chapter="10",
  pages="165--190",
  publisher="Springer-Verlag",
  address="Godalming, UK",
}

@InCollection{Turner-Sinnott-1994,
  author="Kenneth J. Turner and Richard O. Sinnott",
  title="{D}{\sc ill}: {Specifying} Digital Logic in {L}{\sc
                 otos}",
  editor="Richard L. Tenney and Paul D. Amer and M. {\"U}mit
                 Uyar",
  booktitle="Proc.\ Formal Description Techniques VI",
  year="1994",
  pages="71--86",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Turner-vanSinderen-1992,
  author="Kenneth J. Turner and Marten {van Sinderen}",
  title="{L}{\sc otos} Specification Style for {OSI}",
  editor="Ed Brinksma and Tommaso Bolognesi and Chris A.
                 Vissers",
  booktitle="Proc.\ 3rd.\ {L}{\sc oto}{S}{\sc phere} Workshop",
  month=sep,
  year="1992",
  pages="5/1--22",
  organization="{CNUCE}",
  address="Pisa",
}

@InCollection{Turner-vanSinderen-1995,
  author="Kenneth J. Turner and Marten {van Sinderen}",
  title="{L}{\sc otos} Specification Style for {OSI}",
  editor="Tommaso Bolognesi and Jeroen {van de Lagemaat} and
                 Chris A. Vissers",
  booktitle="The {L}{\sc oto}{S}{\sc phere} Project",
  year="1995",
  pages="137--159",
  publisher="Kluwer Academic Publishers",
  address="London, UK",
}

@InProceedings{Valenzano-Sisto-Ciminiera-1991,
  author="Valenzano and Sisto and Ciminiera",
  title="Derivation of Executable Code from Formal Protocol
                 Specifications Written in {L}{\sc otos}",
  booktitle="Proc.\ TriComm 1991",
  year="1991",
  address="Chapel Hill",
}

@InCollection{vandeLagemaat-Scollo-1988,
  author="J. {van de Lagemaat} and Giuseppe Scollo",
  title="On the Use of {L}{\sc otos} for the Formal Description
                 of a Transport Protocol",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  month=sep,
  year="1988",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{vanderSchoot-Ural-1995,
  author="Hans van der Schoot and Hasan Ural",
  title="Data Flow Oriented Test Selection for {L}{\sc otos}",
  month=may,
  year="1995",
  journal="Computer Networks and ISDN Systems",
  volume="27",
  number="7",
  pages="1111--1136",
}

@InCollection{vanEijk-1986,
  author="Peter H. J. {van Eijk}",
  title="A Comparison of Behavioural Language Simulators",
  editor="Gregor {von Bochmann} and Behcet Sarikaya",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VI",
  month=jun,
  year="1986",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@PhdThesis{vanEijk-1988,
  author="Peter H. J. {van Eijk}",
  title="Software tools for the Specification Language {L}{\sc
                 otos}",
  year="1988",
  school="Department of Informatics, University of Twente",
  address="Enschede, Netherlands",
}

@InCollection{vanEijk-1989a,
  author="Peter H. J. {van Eijk}",
  title="Tools for {L}{\sc otos} Specification Style
                 Transformation",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  month=dec,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{vanEijk-1989b,
  author="Peter H. J. {van Eijk}",
  title="{L}{\sc otos} Tools based on the {Cornell Synthesiser
                 Generator}",
  editor="Ed Brinksma and Giuseppe Scollo and Christopher A.
                 Vissers",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  month=jun,
  year="1989",
  pages="43--52",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{vanEijk-1990,
  author="Peter H. J. {van Eijk}",
  title="Attribute Grammar Applications in Prototyping {L}{\sc
                 otos} Tools",
  editor="Pierre Deransart and Martin Jourdan",
  booktitle="Attribute Grammars and their Applications",
  month=sep,
  year="1990",
  series="Lecture Notes in Computer Science",
  volume="461",
  pages="91--100",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@InCollection{vanEijk-1991,
  author="Peter H. J. {van Eijk}",
  title="The {L}{\sc oto}{S}{\sc phere} Integrated Tool
                 Environment {LITE}",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="471--474",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{vanEijk-Eertink-1991,
  author="Peter H. J. {van Eijk} and Henk Eertink",
  title="Design of the {L}{\sc oto}{S}{\sc phere} Symbolic
                 {L}{\sc otos} Simulator",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  year="1991",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{vanEijk-Kremer-vanSinderen-1990,
  author="Peter H. J. {van Eijk} and Harro Kremer and Marten
                 {van Sinderen}",
  title="On the use of specification styles for automated
                 protocol implementation from {L}{\sc otos} to {C}",
  editor="Luigi M. S. Logrippo and Robert L. Probert and Hassan
                 Ural",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification X",
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{vanEijk-Schot-1991,
  author="Peter H. J. {van Eijk} and Jeroen Schot",
  title="An Exercise in Protocol Synthesis",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="117--132",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Book{vanEijk-Vissers-Diaz-1989,
  title="The Formal Description Technique {L}{\sc otos}:
                 {Results} of the {E}{\sc sprit} {S}{\sc edos} Project",
  editor="Peter H. J. {van Eijk} and Chris A. Vissers and Michel
                 Diaz",
  year="1989",
  publisher="Elsevier Science Publishers",
}

@InCollection{vanHulzen-1988,
  author="Wilfried H. P. {van Hulzen}",
  title="{LOTTE} -- {A} {L}{\sc otos} Tool Environment",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  month=sep,
  year="1988",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{vanHulzen-Tilanus-Zuidweg-1988,
  author="Wilfried H. P. {van Hulzen} and Paul A. J. Tilanus and
                 H. Zuidweg",
  title="Introduction of Time into {L}{\sc otos}",
  booktitle="88 DNL/051",
  month=jun,
  year="1988",
  publisher="PTT -- Dr Neher Laboratories",
}

@InCollection{vanHulzen-Tilanus-Zuidweg-1990,
  author="Wilfried H. P. {van Hulzen} and Paul A. J. Tilanus and
                 Han Zuidweg",
  title="{L}{\sc otos} Extended With Clocks",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  year="1990",
  pages="179--193",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{vanSinderen-1985,
  author="Marten {van Sinderen}",
  title="A Formal Description of Flow Control by Latency in
                 {L}{\sc otos}",
  month=jan,
  year="1985",
  number="Memorandum INF-86-12",
  institution="Department of Informatics, University of Twente",
  address="Enschede, Netherlands",
}

@TechReport{vanSinderen-1989,
  author="Marten {van Sinderen}",
  title="A Verification Exercise Relating to Specification
                 Styles in {L}{\sc otos}",
  month=mar,
  year="1989",
  number="INF-89-18",
  institution="University of Twente",
  address="Enschede, Netherlands",
}

@InProceedings{vanSinderen-1990,
  author="Marten {van Sinderen}",
  title="Generic Service and Protocol Structures",
  booktitle="{E}{\sc sprit} Conference '90",
  year="1990",
  publisher="European Commission",
  address="Brussels, Belgium",
}

@InCollection{vanSinderen-Ajubi-1988,
  author="Marten {van Sinderen} and I. Ajubi",
  title="The Application of {L}{\sc otos} for the Formal
                 Description of the {ISO} Session Layer",
  editor="Kenneth J. Turner",
  booktitle="Proc.\ Formal Description Techniques I",
  year="1988",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{vanSinderen-FerreiraPires-Vissers-1993,
  author="Marten {van Sinderen} and Lu\'{\i}s {Ferreira Pires}
                 and Chris A. Vissers",
  title="Design Concepts for {Open Distributed Systems}",
  editor="Jan {de Meer} and B. Mahr and Otto Spaniol",
  booktitle="Proc.\ International Conference on Open Distributed
                 Processing",
  month=sep,
  year="1993",
  pages="369--374",
  publisher="Gesellschaft f{\"u}r Mathematik und
                 Datenverarbeitung",
  address="Berlin, Germany",
}

@Misc{VASYTeam-1999,
  author="{VASY Team}",
  title="{CADP} ({C}{\sc {\ae}sar}/{A}{\sc ld{\'e}baran}
                 {Development Package}): {A} Software Engineering
                 Toolbox for Protocols and Distributed Systems",
  month=apr,
  year="1999",
  howpublished="http://www.inrialpes.fr/vasy/cadp/",
}

@InCollection{Vigder-Buhr-1991,
  author="M. Vigder and R. J. A. Buhr",
  title="Using {L}{\sc otos} in a Design Environment",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="1--16",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Viollet-1990,
  author="Patrick Viollet",
  title="{L}{\sc otos} Guidelines for the {IIS}",
  month=apr,
  year="1990",
  number="R0373/0",
  institution="CIM-OSA, Esprit 688",
}

@TechReport{Vissers-FerreiraPires-vandeLagemaat-1992,
  author="Chris A. Vissers and Lu\'{\i}s {Ferreira Pires} and
                 Jeroen {van de Lagemaat}",
  title="{L}{\sc oto}{S}{\sc phere}, an Attempt Towards a
                 Design Culture",
  month=aug,
  year="1992",
  number="TIOS-92-24",
  institution="Department of Computer Science, University of Twente",
  address="Enschede, Netherlands",
}

@InCollection{Vissers-Scollo-1987,
  author="Chris A. Vissers and Giuseppe Scollo",
  title="Formal Specification in {OSI}",
  editor="G. M{\"u}ller and R. Blanc",
  booktitle="Networking in {Open Systems}",
  month=aug,
  year="1987",
  series="Lecture Notes in Computer Science",
  volume="248",
  pages="338--359",
  publisher="Springer-Verlag",
  address="Berlin, Germany",
}

@InCollection{Vissers-Scollo-vanSinderen-1988,
  author="Chris A. Vissers and Giuseppe Scollo and Marten {van
                 Sinderen}",
  title="Architecture and Specification Style in Formal
                 Descriptions of Distributed Systems",
  editor="Sudhir Aggarwal and Krishan K. Sabnani",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  year="1988",
  pages="189--204",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@Article{Vissers-Scollo-vanSinderen-1991,
  author="Chris A. Vissers and Giuseppe Scollo and Marten {van
                 Sinderen}",
  title="Architecture and Specification Style in Formal
                 Descriptions of Distributed Systems",
  year="1991",
  journal="Theoretical Computer Science",
  volume="89",
  pages="179--206",
}

@TechReport{Vissers-Scollo-vanSinderen-Brinksma-1987,
  author="Chris A. Vissers and Giuseppe Scollo and Marten {van
                 Sinderen} and Ed Brinksma",
  title="On the Use of Specification Styles in the Design of
                 Distributed Systems",
  month=aug,
  year="1987",
  institution="Department of Informatics, University of Twente",
  address="Enschede, Netherlands",
}

@TechReport{Vissers-Scollo-vanSinderen-Brinksma-1990,
  author="Chris A. Vissers and Giuseppe Scollo and Marten {van
                 Sinderen} and Ed Brinksma",
  title="On the Use of Specification Styles in the Design of
                 Distributed Systems",
  year="1990",
  institution="Department of Informatics, University of Twente",
  address="Enschede, Netherlands",
}

@TechReport{Vivien-1997,
  author="Bruno Vivien",
  title="Etude en {R}\'ealisation d'un Compilateur {E-L}{\sc
                 otos} \`a l'Aide du {G}\'en\'enerateur de Compilateurs
                 {SYNTAX/FNCS-2}",
  month=dec,
  year="1997",
  number="M\'emoire d'Ing\'enieur",
  institution="CNAM",
  address="Grenoble, France",
}

@InProceedings{Vogel-1993,
  author="Andreas Vogel",
  title="On {ODP}'s Architectural Semantics using {L}{\sc
                 otos}",
  editor="Jan {de Meer} and B. Mahr and Otto Spaniol",
  booktitle="Proc.\ International Conference on Open Distributed
                 Processing",
  month=sep,
  year="1993",
  pages="340--345",
  publisher="Gesellschaft f{\"u}r Mathematik und
                 Datenverarbeitung",
  address="Berlin, Germany",
}

@InProceedings{vonBochmann-Bellal-1989,
  author="Gregor {von Bochmann} and O. B. Bellal",
  title="Test result analysis with respect to formal
                 specifications",
  booktitle="Proc.\ 2nd.\ International Workshop on Protocol Test
                 Systems",
  year="1989",
  address="Berlin",
}

@InCollection{vonBochmann-Deslauriers-1989,
  author="Gregor {von Bochmann} and Michel Deslauriers",
  title="Combining {ASN.1} Support with the {L}{\sc otos}
                 Language",
  editor="Ed Brinksma and Giuseppe Scollo and Christopher A.
                 Vissers",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{vonBochmann-Gao-Wu-1989,
  author="Gregor {von Bochmann} and Quiang Gao and C. Wu",
  title="On the distributed implementation of {L}{\sc otos}",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{vonBochmann-Goa-Wu-1989,
  author="Gregor {von Bochmann} and Qiang Goa and Cheng Wu",
  title="On the Distributed Implementation of {L}{\sc otos}",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  year="1989",
  pages="175--194",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Wezeman-1989,
  author="Clazien D. Wezeman",
  title="The {CO-OP} Method for Compositional Derivation of
                 Conformance Testers",
  editor="Ed Brinksma and Giuseppe Scollo and Christopher A.
                 Vissers",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  month=jun,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Wezeman-Batley-Lynch-1990,
  author="Clazien D. Wezeman and S. Batley and James A. Lynch",
  title="Formal Methods to Assist Conformance Testing -- {A}
                 Case Study",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  year="1990",
  pages="157--174",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Widya-Sadoun-vanderHeijden-1991,
  author="Ing Widya and Franc Sadoun and Gert-Jan {van der
                 Heijden}",
  title="Specification of a Distributed Coordination Function
                 in {L}{\sc otos}",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="133--148",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@MastersThesis{Williams-1994a,
  author="S. H. Williams",
  title="{L}{\sc otos}: {A} Case Study",
  month=sep,
  year="1994",
  school="Department of Computer Science, Brunel University",
  address="Uxbridge, London",
}

@MastersThesis{Williams-1994b,
  author="S. H. Williams",
  title="Appendices to -- {L}{\sc otos}: {A} Case Study",
  month=sep,
  year="1994",
  school="Department of Computer Science, Brunel University",
  address="Uxbridge, London",
}

@PhdThesis{Winstanley-1992,
  author="Adam C. Winstanley",
  title="The Elucidation of Process-Oriented Specifications",
  year="1992",
  school="Queen's University Belfast",
}

@Article{Winstanley-Bustard-1991,
  author="Adam C. Winstanley and David W. Bustard",
  title="{E}{\sc xpose}: {An} animation tool for
                 process-oriented specifications",
  month=nov,
  year="1991",
  journal="Software Engineering Journal",
  volume="6",
  number="6",
  pages="114--118",
}

@InCollection{Wolz-Boehm-1989,
  author="Dietmar Wolz and Paul Boehm",
  title="Compilation of {L}{\sc otos} Data Type
                 Specifications",
  editor="Ed Brinksma and Giuseppe Scollo and Christopher A.
                 Vissers",
  booktitle="Proc.\ Protocol Specification, Testing and
                 Verification VIII",
  month=jun,
  year="1989",
  pages="187--202",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InCollection{Wu-Chanson-1989,
  author="J. P. Wu and S. Chanson",
  title="Translation from {L}{\sc otos} and {E}{\sc stelle}
                 Specifications to Extended Transition System and its
                 Verification",
  editor="S. T. Vuong",
  booktitle="Proc.\ Formal Description Techniques II",
  month=dec,
  year="1989",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@InProceedings{Wu-vonBochmann-1990,
  author="C. Wu and Gregor {von Bochmann}",
  title="An execution model for {L}{\sc otos} specifications",
  booktitle="Global Telecommunications Conference (Globecom)",
  month=dec,
  year="1990",
  publisher="IEEE Computer Society",
  address="Washington, USA",
}

@InCollection{Wu-vonBochmann-1991,
  author="C. Wu and Gregor {von Bochmann}",
  title="Fairness in {L}{\sc otos}",
  editor="Kenneth R. Parker and Gordon A. Rose",
  booktitle="Proc.\ Formal Description Techniques IV",
  month=nov,
  year="1991",
  pages="543--558",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}

@TechReport{Wu-vonBochmann-Bellal-Gao-1991,
  author="C. Wu and Gregor {von Bochmann} and O. B. Bellal and
                 Quiang Gao",
  title="Execution of {L}{\sc otos} specifications in a
                 distributed environment",
  year="1991",
  number="792",
  institution="Department of Computer Science, Universit\'e de
                 Montr\'eal",
  address="Montr\'eal, Canada",
}

@MastersThesis{Xu-1990,
  author="Zhi Hong Xu",
  title="Investigation of the Correspondence Between {L}{\sc
                 otos} and {A}{\sc da}",
  month=apr,
  year="1990",
  school="Department of Computing Science and Mathematics,
                 University of Stirling",
  address="UK",
}

@InCollection{Yasumoto-Higashino-Abe-Matsuura-Taniguchi-1996,
  author="Keiichi Yasumoto and Teruo Higashino and Kota Abe and
                 Toshio Matsuura and Kenichi Taniguchi",
  title="A {L}{\sc otos} Compiler generating Multi-Threaded
                 Object codes",
  editor="Gregor {von Bochmann} and Rachida Dssouli and Omar
                 Rafiq",
  booktitle="Proc.\ Formal Description Techniques VIII",
  year="1996",
  pages="271--286",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InCollection{Yasumoto-Kitajima-Higashino-Taniguchi-1998,
  author="Keiichi Yasumoto and Akira Kitajima and Teruo
                 Higashino and Kenichi Taniguchi",
  title="Hardware Synthesis from Protocol Specifications in
                 {L}{\sc otos}",
  editor="Stan Budkowski and Elie Najm and Ana Cavalli",
  booktitle="Proc.\ Formal Description Techniques XI/Protocol
                 Specification, Testing and Verification XVIII",
  year="1998",
  publisher="Chapman-Hall",
  address="London, UK",
}

@InCollection{Zuidweg-1990,
  author="H. Zuidweg",
  title="A {Hoare}-Style Proof System for {L}{\sc otos}",
  editor="Juan Quemada and Jose A. Ma{\~n}as and Enrique
                 V\'azquez",
  booktitle="Proc.\ Formal Description Techniques III",
  month=nov,
  year="1990",
  publisher="North-Holland",
  address="Amsterdam, Netherlands",
}