Bibliography for Estelle.
Last updated 18 September 1998
Richard L Tenney

@STANDARD{iso9074,
    AUTHOR={ISO},
    TYPE={IS},
    NUMBER={9074},
    TITLE={Information processing systems --- {Open} systems
        interconnection --- {Estelle} --- A formal description
    technique based on an extended state transition model},
    ORGANIZATION={International Organization for Standardization},
    ADDRESS={Geneva},
    YEAR={1989}
}

@STANDARD{iso9074:1997,
    AUTHOR={ISO},
    TYPE={IS},
    NUMBER={9074},
    TITLE={Information processing systems --- {Open} systems
        interconnection --- {Estelle} --- A formal description
    technique based on an extended state transition model},
    ORGANIZATION={International Organization for Standardization},
    ADDRESS={Geneva},
    YEAR={1997}
}


@STANDARD{iso7158,
    AUTHOR={ISO},
    TYPE={IS},
    NUMBER={7158},
    TITLE={Information technology --- Programming languages --- Pascal},
    ORGANIZATION={International Organization for Standardization},
    ADDRESS={Geneva},
    YEAR={1990}
}

@STANDARD{iso10167,
    AUTHOR={ISO},
    TYPE={TR},
    NUMBER={10167},
    TITLE={Information processing systems --- Open systems
        interconnection --- Guidelines for the Application of {Estelle},
    {LOTOS}, and {SDL}},
    ORGANIZATION={International Organization for Standardization},
    ADDRESS={Geneva},
    YEAR={1991},
    NOTE={Precursor to~\cite{turner93}}
}

@INPROCEEDINGS{probert91,
    AUTHOR={Robert L. Probert and Fuyin Guo},
    TITLE={Mutation Testing of Protocols: Principles and Preliminary
    Experimental Results},
    CROSSREF={davidson91},
    PAGES={57--76}
}

@INPROCEEDINGS{ichikawa90,
    AUTHOR={H. Ichikawa and K. Yamanaka and J. Kato},
    TITLE={Incremental Specification in {LOTOS}},
    CROSSREF={logrippo90},
    YEAR={1990},
    PAGES={183--196}
}

@INPROCEEDINGS{vissers90,
    AUTHOR={Chris A. Vissers},
    TITLE={{FDTs} for Open Distributed Systems, a Retrospective and a
    Prospective View},
    CROSSREF={logrippo90},
    YEAR={1990},
    PAGES={341--362}
}

@INPROCEEDINGS{doldi93,
    AUTHOR={L. Doldi and P. Gauthier},
    TITLE={{VEDA} 2: power to the protocol designers},
    CROSSREF={diaz93},
    YEAR={1993},
    PAGES={3--13}
}

@INPROCEEDINGS{dembinski93,
    AUTHOR={Piotr Dembi{\'n}ski},
    TITLE={Queuing Network Model for {Estelle}},
    CROSSREF={diaz93},
    YEAR={1993},
    PAGES={73--86}
}

@INPROCEEDINGS{bredereke93,
    AUTHOR={J. Bredereke and R. Gotzhein and F. H. Vogt},
    TITLE={Design of a formal {Estelle} Semantics for Verification},
    CROSSREF={diaz93},
    YEAR={1993},
    PAGES={153--168}
}

@INPROCEEDINGS{andreu93,
    AUTHOR={Marc Andreu and Mich\`{e}le Haziza and Claude Jard and Jean-Marc J\'{e}z\'{e}quel},
    TITLE={Analyzing a Space-protocol: from Specification, Simulation to Experimentation},
    CROSSREF={diaz93},
    YEAR={1993},
    PAGES={187--198}
}

@INPROCEEDINGS{souissi94,
    AUTHOR={Younes Souissi},
    TITLE={Towards a Modular Specification and Verification of Protocols within a Layered Architecture},
    CROSSREF={tenney94},
    PAGES={35--50},
    YEAR={1994}
}

@INPROCEEDINGS{bredereke94,
    AUTHOR={J. Bredereke and Gotzhein},
    TITLE={Increasing the Concurrency in {Estelle}},
    CROSSREF={tenney94},
    YEAR={1994},
    PAGES={125--139}
}

@INPROCEEDINGS{lo94,
    AUTHOR={Anthony Lo and Richard Lai},
    TITLE={Integrating {Estelle} and {ASN.1} for Automatic Implementation},  
    CROSSREF={tenney94},
    YEAR={1994},
    PAGES={155--169}
}

@INPROCEEDINGS{fischer94,
    AUTHOR={Stefan Fischer and Bernd Hofmann},
    TITLE={An {Estelle} Compiler for Multiprocessor Platforms},
    CROSSREF={tenney94},
    YEAR={1994},
    PAGES={171--186}
}

@INPROCEEDINGS{sarashina94,
    AUTHOR={Katsuyuki Sarashina, Tsuyoshi Ando and Masataka Ohta and Yoshiaki Tokita and Kaoru Takahashi},
    TITLE={An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation},
    CROSSREF={tenney94},
    YEAR={1994},
    PAGES={205--218}
}

@INPROCEEDINGS{divin94,
    AUTHOR={A. Divin and C. Petitpierre},
    TITLE={An Object Oriented Method for Implementing Layered Protocols},
    CROSSREF={tenney94},
    YEAR={1994},
    PAGES={401--417}
}

@INPROCEEDINGS{ladkin94,
    AUTHOR={Peter B. Ladkin and Stefan Leue},
    TITLE={What Do Message Sequence Charts Mean?},
    CROSSREF={tenney94},
    YEAR={1994},
    PAGES={301--316}
}

@INPROCEEDINGS{kritzinger94,
    AUTHOR={Pieter S. Kritzinger and Graham Wheeler},
    TITLE={Semi-{Markovian} Analysis of Protocol Performance},
    CROSSREF={danthine93},
    YEAR={1994},
    PAGES={159--172}
}

@INPROCEEDINGS{budkowski94,
    AUTHOR={Stanislaw Budkowski and B. Alkhect and M. L. Benalychrif
        and Piotr Dembi{\'n}ski and M. Gardie and E. Lallet and J. P.
        Mouchel La Fosse and Y. Souissi},  
    TITLE={Formal specification, validation and performance evaluation of
    the {Xpress} Transfer Protocol},
    CROSSREF={danthine93},
    YEAR={1994},
    PAGES={191--206}
}

@INPROCEEDINGS{andrae94,
    AUTHOR={Caroline Andrae and Reinhard and Simone S\'{e}dillot},
    TITLE={An Evolutionary Approach to the Development of Complex Protocol},
    CROSSREF={danthine93},
    YEAR={1994},
    PAGES={207--222}
}

@INPROCEEDINGS{haddad94,
    AUTHOR={S. Haddad and M. Taghelit and B. Zouri},
    TITLE={Assessment of {Estelle} and {EDT} through Real Case Studies},
    CROSSREF={danthine93},
    YEAR={1994},
    PAGES={223--238}
}

@INPROCEEDINGS{barker94,
    AUTHOR={R. M. Barker and F. A. Brady},
    TITLE={Automated Generation of Test Purposes for the {OSI}
    Distributed Transaction Processing Protocol},
    CROSSREF={danthine93},
    YEAR={1994},
    PAGES={273--288}
}

@INPROCEEDINGS{vuong92,
    AUTHOR={Son T. Vuong and Jadranka Alilovic-Curgus},
    TITLE={On Test Coverage Metrics for Communications Protocols},
    CROSSREF={kroon92},
    PAGES={31--45}
}

@INPROCEEDINGS{hogrefe92a,
    AUTHOR={Dieter Hogrefe},
    TITLE={On the development of a standard conformance testing based on
    formal specifications},
    CROSSREF={kroon92},
    PAGES={59--66}
}

@INPROCEEDINGS{tretmans92,
    AUTHOR={Jan Tretmans and Pim Kars and Ed Brinksma},
    TITLE={Protocol Conformance Testing:  A Formal Perspctive on {ISO} {IS}-9646},
    CROSSREF={kroon92},
    PAGES={131--142}
}

@INPROCEEDINGS{tang93,
    AUTHOR={Debra Tang and Jinsheng Liu and Jean-Phillippe Favreau},
    TITLE={The {IS-IS} Multi-Party Conformance Test System},
    CROSSREF={bochmann93},
    PAGES={251--262}
}

@INPROCEEDINGS{cavalli94,
    AUTHOR={Ana R. Cavalli and Jean-Philippe Favreau and Marc Phalippou},
    TITLE={Formal Methods in Conformance Testing:  Results and Perspectives},
    CROSSREF={rafiq94},
    PAGES={3--17}
}

@INPROCEEDINGS{henniger94,
    AUTHOR={Olaf Henniger and {Beh\c{c}et} Sarikaya and Steve Biedlingmaier},
    TITLE={Test suite generation for application layer protocols from
    formal specifications in {Estelle}}, 
    CROSSREF={rafiq94},
    PAGES={67--85}
}

@INPROCEEDINGS{vuong94a,
    AUTHOR={S. T. Vuong and A. A. F. Loureiro and S. T. Chanson},
    TITLE={A framework for the design for testability of
        communication protocols}, 
    CROSSREF={rafiq94},
    PAGES={89--108}
}

@INPROCEEDINGS{kalyanasundaram94,
    AUTHOR={Pramod Kalyanasundaram and Paul D. Amer},
    TITLE={Protocol Test Case Visualization},
    CROSSREF={rafiq94},
    PAGES={197--211}
}

@INPROCEEDINGS{tretmans94,
    AUTHOR={Jan Tretmans},
    TITLE={A formal approach to conformance testing},
    CROSSREF={rafiq94},
    PAGES={257--276}
}

@INPROCEEDINGS{schwartz82,
    AUTHOR={Richard L. Schwartz and P. M. Melliar-Smith},
    TITLE={From State Machines to Temporal Logic:  Specification Methods
    for Protocol Standards},
    CROSSREF={sunshine82},
    YEAR={1982},
    PAGES={3--19}
}

@INPROCEEDINGS{ansart82,
    AUTHOR={Jean-Pierre Ansart and O. Rafiq and Vijaya Chari},
    TITLE={Protocol Description and Implementation Language},
    CROSSREF={sunshine82},
    YEAR={1982},
    PAGES={101--112}
}

@INPROCEEDINGS{piatkowski82,
    AUTHOR={Thomas F. Piatkowski and Lap-Kin Ip and Dayun He},
    TITLE={State Architecture Notation and Simulation: A  Formal Technique for the
    Specification and Testing of Protocol Systems},
    CROSSREF={sunshine82},
    YEAR={1982},
    PAGES={135--160}
}

@INPROCEEDINGS{bochmann82a,
    AUTHOR={Bochmann, Gregor v. and E. Cerny and M. Gagne and Claude
    	Jard and A. L\'{e}v\'{e}ille and C. Lacaille and Michel
		Maksud and K. S. Raghunathan and Beh\c{c}et Sarikaya}, 
    TITLE={Some Experience with the use of formal specifications},
    CROSSREF={sunshine82},
    YEAR={1982},
    PAGES={171--185}
}

@ARTICLE{bochmann82b,
    AUTHOR={Bochmann, Gregor v. and E. Cerny and M. Gagne and Claude
    	Jard and A. L\'{e}v\'{e}ille and C. Lacaille and Michel
		Maksud and K. S. Raghunathan and Beh\c{c}et Sarikaya}, 
    TITLE={Experience with Formal Specifications Using an Extended
		State Transition Model}, 
    JOURNAL={IEEE Transactions on Communications},
    VOLUME={COM-30},
	NUMBER={12},
	MONTH={dec},
    PAGES={2506--2513},
    YEAR={1982}
}

@INPROCEEDINGS{sarikaya82,
    AUTHOR={Beh\c{c}et Sarikakya and Bochmann, Gregor v.},
    TITLE={Some Experience with Test Sequence Generation for Protocols},
    CROSSREF={sunshine82},
    YEAR={1982},
    PAGES={555--566}
}

@ARTICLE{sarikaya90,
	AUTHOR={Beh\c{c}et Sarikakya and V. Kouloulidis and Bochmann, Gregor v.},
	TITLE={Method of analysing extended finite-state machine specifications},
	JOURNAL={Computer Communications},
	VOLUME={13},
	NUMBER={2},
	PAGES={83--92},
	MONTH={mar},
	YEAR={1990}
}

@INPROCEEDINGS{tenney90,
    AUTHOR={Richard L. Tenney},
    TITLE={Modelling Flow Control in {Estelle}},
    CROSSREF={logrippo90},
    YEAR={1990},
    PAGES={33--44}
}

@STANDARD{isoiec5710,
    AUTHOR={{ISO/IEC JTC 1/SC 21}},
    TITLE={Revised Text of ISO~9074: 1989/PDAM~1, Information
        processing systems --- {Open} systems
        interconnection --- {Estelle} --- A formal description
    technique based on an extended state transition model ---
    Proposed Draft Amendment~1: {Estelle} Tutorial},
    TYPE={N},
    NUMBER={5710},
    ORGANIZATION={International Organization for Standardization},
    ADDRESS={Geneva},
    YEAR={1991}
}

@ARTICLE{vissers83,
    AUTHOR={Chris A. Vissers and Richard L. Tenney and Bochmann, Gregor v.},
    TITLE={Formal Description Techniques},
    JOURNAL={IEEE Transactions on Communications},
    YEAR={1983},
    VOLUME={71},
    PAGES={1356--1364}
}

@INPROCEEDINGS{ayache89,
    AUTHOR={Jean Michel Ayache and Jean Dufau and Michel Huybrechts and
        Eric Mattera},
    TITLE={{EWS}: an integrated workstation for the design and the
        automatic generation of distributed software},
    CROSSREF={turner89},
    PAGES={85--89}
}

@INPROCEEDINGS{saqui-sannes89,
    AUTHOR={Pierre de Saqui-Sannes and Jean-Pierre Courtiat},
    TITLE={{ESTIM}: {The} {Estelle} Simulator Prototype of the
        {ESPRIT}-{SEDOS} Project},
    CROSSREF={turner89},
    YEAR={1989},
    PAGES={15--29}
}

@INPROCEEDINGS{sijelmassi89,
    AUTHOR={Rachid Sijelmassi and Philip Gaudette},
    TITLE={An Object-oriented model for {Estelle}},
    CROSSREF={turner89},
    PAGES={91--105}
}

@INPROCEEDINGS{hogrefe89a,
    AUTHOR={Dieter Hogrefe},
    TITLE={Nondeterminism and {SDL}},
    CROSSREF={turner89},
    PAGES={157--167}
}

@INPROCEEDINGS{phalippou89,
    AUTHOR={Marc Phalippou and Roland Groz},
    TITLE={Using {Estelle} for Verification, An experience with the
    {T.70} teletex transport protocol}, 
    CROSSREF={turner89},
    PAGES={185--199}
}

@INPROCEEDINGS{vanSinderen89,
    AUTHOR={Marten van Sinderen and Ibrahim Ajubi and Fausto Caneschi}, 
    TITLE={The application of {LOTOS} for the formal description of the {ISO} session Layer},
    CROSSREF={turner89},
    PAGES={263--277}
}

@INPROCEEDINGS{favreau89,
    AUTHOR={Jean-Philippe Favreau and Linn, Jr., Richard J. and Philip Gaudette},
    TITLE={Application of Formal Description Techniques to Conformance Evaluation},
    CROSSREF={turner89},
    PAGES={295--309}
}

@INPROCEEDINGS{vuong89,
    AUTHOR={Son T. Vuong and Wendy Y. L. Chan},
    TITLE={Validation of the {Ferry} {Clip} Local Testing System Using an
    {Estelle}-{C} Compiler},
    CROSSREF={turner89},
    PAGES={337--345}
}

@INPROCEEDINGS{ramanathan91,
    AUTHOR={S. Ramanathan and G. Sivakumar},
    TITLE={Rewrite Systems for Protocol Specification and Verification},
    CROSSREF={quemada91},
    PAGES={79--94}
}

@INPROCEEDINGS{dubuc91,
    AUTHOR={M. Dubuc and Bochmann, Gregor v. and O. Bellal and F. Saba},
    TITLE={Translation from {TTCN} to {LOTOS} and the validation of
        test cases}, 
    CROSSREF={quemada91},
    PAGES={141--156}
}

@INPROCEEDINGS{chun91,
    AUTHOR={Woojik Chun and Paul D. Amer},
    TITLE={Test Case Generation for Protocols Specified in {Estelle}},
    CROSSREF={quemada91},
    PAGES={191--206}
}

@INPROCEEDINGS{bause91,
    AUTHOR={Falko Bause and Peter Buchholz},
    TITLE={Protocol Analysis using a timed version of {SDL}},
    CROSSREF={quemada91},
    PAGES={239--254}
}

@INPROCEEDINGS{jezequel91,
    AUTHOR={Jean-Marc J\'{e}z\'{e}quel},
    TITLE={Experience in Validating Protocol Integration using {Estelle}},
    CROSSREF={quemada91},
    PAGES={271--278}
}

@INPROCEEDINGS{katsuyama91,
    AUTHOR={ Kotaro Katsuyama and Fumiaki Sato and Tetsuo Nakakawaji and
    Tadanori Mizuno}, 
    TITLE={{OSI} Testing Evironment Based on Standarized Formalisms},
    CROSSREF={quemada91},
    PAGES={287--294},
}

@INPROCEEDINGS{saras91,
    AUTHOR={Juan Saras and Julio Berrocal and Juan Riera},
    TITLE={Use of {Estelle}, {LOTOS} and {ASN.1} in one project},
    CROSSREF={quemada91},
    PAGES={337--343},
}

@INPROCEEDINGS{dembinski91,
    AUTHOR={Piotr Dembi{\'n}ski},
    TITLE={Interfacing {ASN.1} and {Estelle}: A Practical Approach},
    CROSSREF={quemada91},
    PAGES={361--368}
}

    
@INPROCEEDINGS{alkhechi91,
    AUTHOR={A. B. Alkhechi and Stanislaw Budkowski},
    TITLE={Automatic translation of Time {Petri} Nets into {Estelle}
    description},
    CROSSREF={quemada91},
    PAGES={369--376}
}

@INPROCEEDINGS{tenney91,
    AUTHOR={Richard L. Tenney},
    TITLE={Adding Interaction Sets to {Estelle}},
    CROSSREF={quemada91},
    PAGES={377--382}
}

@INPROCEEDINGS{new89,
    AUTHOR={Darren H. New and Paul D. Amer},
    TITLE={Adding graphics and animation to {Estelle}},
    CROSSREF={brinksma90},
}

@ARTICLE{new90,
    AUTHOR={Darren H. New and Paul D. Amer},
    TITLE={Adding graphics and animation to {Estelle}},
    JOURNAL={Information and Software Technology},
    MONTH={Mar},
    VOLUME={32},
    NUMBER={2},
    PAGES={149--161},
    YEAR={1990},
    }


@PHDTHESIS{new91a,
    AUTHOR={Darren H. New},
    TITLE={Protocol Visualization},
    SCHOOL={University of Delaware},
    YEAR={1991}
}

@INPROCEEDINGS{new91b,
    AUTHOR={Darren H. New and Paul D. Amer},
    TITLE={Protocol Visualization of {Estelle} Specifications},
    CROSSREF={quemada91},
    PAGES={551--554}
}

@INPROCEEDINGS{hogrefe91,
    AUTHOR={Dieter Hogrefe},
    TITLE={Conformance testing based on formal methods},
    CROSSREF={quemada91},
    PAGES={207--222}
}


@article{amer93,
    AUTHOR={Paul D. Amer and Darren H. New},
    TITLE={Protocal visualization in {Estelle}},
    JOURNAL={Computer Networks and ISDN Systems},
    VOLUME={25},
    NUMBER={7},
    MONTH={feb},
    PAGES={741--760},
    YEAR={1993}
}

@INPROCEEDINGS{stefani91,
    AUTHOR={Jean-Bernard Stefani},
    TITLE={Open Distributed Processing: {T}he Next Target for the
        Application of Formal Description Techniques}, 
    CROSSREF={quemada91},
    PAGES={427--442}
}

@INPROCEEDINGS{guilmet91,
    AUTHOR={Martine Guilmet and Philippe Thomas and Bruno Traverson},
    TITLE={Design, Implementation and Validation of a Multi-Peer
        Protocol using {Estelle}}, 
    CROSSREF={quemada91},
    PAGES={487--502}
}

@INPROCEEDINGS{cheung91,
    AUTHOR={Y. T. Cheung and J. William Atwood},
    TITLE={Specifying the {Xpress} Transfer Protocol Using {Estelle}
        and {Valira}}, 
    CROSSREF={quemada91},
    PAGES={503--517}
}

@INPROCEEDINGS{sijelmassi91,
    AUTHOR={Rachid Sijelmassi and Brett Strausser},
    TITLE={{NIST} Integrated Tool Set for {Estelle}},
    CROSSREF={quemada91},
    PAGES={543--546}
}

@ARTICLE{sijelmassi93,
    AUTHOR={Rachid Sijelmassi and Brett Strausser},
    TITLE={The {PET} and {DINGO} Tools for Deriving Distributed
        Implementations from {Estelle}},
    JOURNAL={Computer Networks and ISDN Systems},
    VOLUME={25},
    YEAR={1993}
}

@INPROCEEDINGS{favreau87,
    AUTHOR={Jean-Philippe Favreau and Linn, Jr., Richard J.},
    TITLE={Automatic Generation of Test Scenario Skeletons from
    Protocol Specifications Written in {Estelle}},
    CROSSREF={sarikaya87},
    PAGES={191--202}
}

@TECHREPORT{blumer90,
    AUTHOR={Tom P. Blumer and Jeff Parker},
    TITLE={Testing of {Estelle} Protocols via Automatic Implementation},
    TYPE={Technical Report},
    NUMBER={BCCS-90-05},
    INSTITUTION={Boston College},
    YEAR={1990}
}

@INPROCEEDINGS{favreau90,
    AUTHOR={Jean-Philippe Favreau and Linn, Jr., Richard J. and
        Stephen Nightingale},
    TITLE={A Formal Multi-Layer Test Methodology and its
        Applications to {OSI}},
    CROSSREF={vuong90},
    PAGES={375--392}
}

@INPROCEEDINGS{hou95,
    AUTHOR={Luoming Hou and Jean-Philippe Favreau and Debra Tang},
    TITLE={Implementation of {TTCN} Operational Semantics in {Estelle}},
    CROSSREF={mizuno95},
    YEAR={1995}
}

@INPROCEEDINGS{saqui-sannes90,
    AUTHOR={Pierre de Saqui-Sannes and Jean-Pierre Courtiat},
    TITLE={From the Simulation to the Verification of {Estelle*}
        Specifications},
    CROSSREF={vuong90},
    PAGES={393--407}
}

@INPROCEEDINGS{diaz90,
    AUTHOR={Michel Diaz and Jean Dufau and Roland Groz},
    TITLE={Experiences using {Estelle} within {SEDOS} {Estelle}
        {Demonstrator}}, 
    CROSSREF={vuong90},
    PAGES={455--470}
}


@INPROCEEDINGS{chamberlain90a,
    AUTHOR={Samuel C. Chamberlain and Paul D. Amer},
    TITLE={A New User's Experiences and Impressions with {Estelle}},
    CROSSREF={vuong90},
    PAGES={471--484}
}

@MANUAL{nbs87a,
    AUTHOR={NBS},
    TITLE={User Guide for the {NBS} Prototype Compiler for {Estelle}},
    SERIES={NBS Technical Report},
    NUMBER={ICST/SNA - 87/3},
    PUBLISHER={National Bureau of Standards},
    ADDRESS={Washington},
    YEAR={1987}
}

@MANUAL{nbs87b,
    AUTHOR={NBS},
    TITLE={Internals Guide for the {NBS} Prototype Compiler for {Estelle}},
    SERIES={NBS Technical Report},
    NUMBER={ICST/SNA - 87/4},
    PUBLISHER={National Bureau of Standards},
    ADDRESS={Washington},
    YEAR={1987}
}

@MANUAL{bull89a,
    AUTHOR={{Bull~S.A.}},
    TITLE={{Estelle} {Simulator/Debugger} User Reference Manual},
    PUBLISHER={Bull S.A., Direction {M\'{e}thodologie/MDL}},
    ADDRESS={Les Clayes s/s Bois},
    YEAR={1989}
}

@MANUAL{bull89b,
    AUTHOR={{Bull~S.A.} and {Marben~S.A.}},
    TITLE={{Estelle}-to-{C} Compiler User Reference Manual},
    PUBLISHER={Bull S.A., Direction {M\'{e}thodologie/MDL}},
    ADDRESS={Les Clayes s/s Bois},
    YEAR={1989}
}

@INPROCEEDINGS{tenney91a,
    AUTHOR={Richard L. Tenney},
    TITLE={Tutorial on {Estelle} and Early Testing},
    CROSSREF={parker91}
}

@INPROCEEDINGS{brinksma92,
    AUTHOR={Ed Brinksma},
    TITLE={What is the Method in Formal Methods?},
    CROSSREF={parker92},
    PAGES={33 -- 50}
}

@INPROCEEDINGS{fernandez92,
    AUTHOR={D. Fern\'{a}ndez and E. V\'{a}zquez and J. Vinyes},
    TITLE={Io: an {Estelle} Simulator for Performance Evaluation},
    CROSSREF={parker92},
    PAGES={51--63}
}

@INPROCEEDINGS{nguyen92,
    AUTHOR={C. T. Nguyen and P. Hunel and M.-C. Vialatte},
    TITLE={Formal specification, validation and implementation of an
        Application protocol with {Estelle}},
    CROSSREF={parker92},
    PAGES={361--376}
}

@MASTERSTHESIS{grobholz91,
   AUTHOR={Jochen Grobholz},
   TITLE={Ver\-gleich der bei\-den
        {P}ro\-to\-koll\-spe\-zi\-fi\-ka\-ti\-ons\-spra\-chen {Estelle}
    und {LOTOS}},
   SCHOOL={Uni\-ver\-sit\"{a}t {Karlsruhe}},
   ADDRESS={In\-sti\-tut f\"{u}r Te\-le\-ma\-tik},
   YEAR={1991}
}

@INCOLLECTION{heck92,
    AUTHOR={Elke Heck and Bruno M{\"u}ller-Clostermann},
    TITLE={Toward the Integration of Formal Description Techniques
    with Performance Evaluation},
    PAGES={1--21},
    CROSSREF={hogrefe92}
}

@INCOLLECTION{hofmann92,
    AUTHOR={Bernd Hofmann and Wolfgang Effelsberg},
    TITLE={Generating Parallel Code from {Estelle} Specifications},
    PAGES={22--34},
    CROSSREF={hogrefe92}
}

@INCOLLECTION{fodisch92,
    AUTHOR={Rainer F{\"o}disch and Hartmut K{\"o}nig},
    TITLE={Rapid Prototyping von {Estelle} Spezifikationen},
    PAGES={110--124},
    CROSSREF={hogrefe92}
}

@INCOLLECTION{grobholz92,
    AUTHOR={Jochen Grobholz and Richard L. Tenney},
    TITLE={Differences between {Estelle} and {LOTOS} Descriptions of a
    Protocol},
    PAGES={222--228},
    CROSSREF={hogrefe92}
}

@INPROCEEDINGS{loureiro92,
    AUTHOR={A.A.F. Loureiro and S.T. Chanson and S.T. Vuong},
    TITLE={{FDT} Tools for Protocol Development},
    YEAR = 1992,
    PAGES={37--78},
    CROSSREF={diaz92}
}


@ARTICLE{chanson93,
    AUTHOR={Samuel T. Chanson and A. A. F. Loureiro and Son T. Vuong},
    TITLE={On tools supporting the use of formal description
        techniques in protocol development}, 
    JOURNAL={Computer Networks and ISDN Systems},
    VOLUME={25},
    PAGES={723--739},
    YEAR=1993
}

@INPROCEEDINGS{tretmans92a,
    AUTHOR={Jan Tretmans and Louis Verhaard},
    TITLE={A Queue Model Relating Synchronous and Asynchronous
        Communication}, 
    YEAR={1992},
    PAGES={131--145},
    CROSSREF={linn92}
} 

@INPROCEEDINGS{afernandez92,
    AUTHOR={A. Fernandez and C. Miguel and L. Vidaller and J. Quemada},
    TITLE={Development of Satellite Communication Networks based on {LOTOS}},
    YEAR={1992},
    PAGES={179--192},
    CROSSREF={linn92}
}

@INPROCEEDINGS{chun92,
    AUTHOR={Woojik Chun and Paul D. Amer},
    TITLE={Improvements on {UIO} Sequence Generation and Partial {UIO}
        Sequences}, 
    YEAR={1992},
    PAGES={245--259},
    CROSSREF={linn92}
}

@INPROCEEDINGS{bar92,
    AUTHOR={U. Bar and J. M. Schneider},
    TITLE={Automated validation of {TTCN} Test Suites},
    PAGES={279--295},
    CROSSREF={linn92}
}

@ARTICLE{favreau91,
	AUTHOR={Jean-Phillippe Favreau and Bochmann, Gregor v. and P.
		Mondain-Monval},
	TITLE={Open issues in {OSI} protocol development},
	JOURNAL={R{\'e}seaux et Informatique R{\'e}partie},
	VOLUME={1},
	NUMBER={2},
	PAGES={209--226},
	YEAR={1991}
}

@INPROCEEDINGS{favreau92,
    AUTHOR={Jean-Phillippe Favreau and Dieter Hogrefe and Jan Kroon},
    TITLE={Formal Methods in Conformance testing:  Status and Expectations},
    PAGES={299--316},
    CROSSREF={linn92}
}

@INPROCEEDINGS{velthuys91,
    AUTHOR={R. J. Velthuys and L. F. Mackert and J. M. Schneider and G.
        Zorniflein}, 
    TITLE={Structuring Mechanisms for the Formal Description
    	Technique {CRS}}, 
    PAGES={39--57},
    CROSSREF={jonsson92}
}

@INPROCEEDINGS{saqui-sannes91,
    AUTHOR={Pierre de Saqui-Sannes and Jean-Pierre Courtiat}, 
    TITLE={An Extension of the Multi-way Synchronization Mechanism
        Concealed by {Estelle}},
    PAGES={75--90},
    CROSSREF={jonsson92}
}

@INPROCEEDINGS{vazquez91,
    AUTHOR={Enrique V\'azquez and Pedro Sandoval and Marifeli Sedano and
        Juan Vinyes},
    TITLE={Automatic Implementation of {TP4/IP} with an {Estelle}
        Workstation. Development Methodology and Performance Evaluation}, 
    PAGES={125--139},
    CROSSREF={jonsson92}
}

@INPROCEEDINGS{lee91,
    AUTHOR={Do Y. Lee and Jai Y. Lee},
    TITLE={Test Generation for the Specification Written in {Estelle}},
    PAGES={317--332},
    CROSSREF={jonsson92}
}

@INPROCEEDINGS{rudin88,
    AUTHOR={Harry Rudin},
    TITLE={Protocol Engineering:  A Critical Assessment},
    PAGES={3--15},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{bochmann88a,
    AUTHOR={Bochmann, Gregor v. and Jean Vaucher},
    TITLE={Adding Performance Aspects to Specification Languages},
    PAGES={19--32},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{bochmann88b,
    AUTHOR={Bochmann, Gregor v. and A. Finkel},
    TITLE={Impact of Queued Interaction on Protocol Specification
    	and Verification},
    BOOKTITLE={Proceedings of the International Symposium on Interoperable
	    Information Systems},
    PAGES={371--382},
	COMMENT={ISIIS, Nov. 1988, Tokyo},
    YEAR= {1988}
}
@INPROCEEDINGS{karjoth88,
    AUTHOR={G\"unter Karjoth},
    TITLE={Implementing Process Algebra Specifications by State Machines},
    PAGES={47--60},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{brinksma88,
    AUTHOR={Ed Brinksma},
    TITLE={A theory for the derivation of tests},
    PAGES={63--74},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{probert88,
    AUTHOR={R. I. Probert and H. Ural and M. W. A. Hornbeek},
    TITLE={An Integrated Software Environment for Developing \&
    Validating Standardized Conformance Tests},
    PAGES={87--98},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{amer88,
    AUTHOR={Paul D. Amer and Adir Pridor and Judith Schmidt},
    TITLE={Expansion of Transitions in {Estelle} Formal Specifications},
    PAGES={159--170},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{courtiat86a,
    AUTHOR={Jean-Pierre Courtiat and A. Fedroza and Jean Michel Ayache},
    TITLE={A simulation Environment for Protocol Specifications
    Described in {Estelle}},
    PAGES={297--310},
    CROSSREF={diaz86}
}

@INPROCEEDINGS{courtiat86b,
    AUTHOR={Jean-Pierre Courtiat},
    TITLE={Une vue reseaux de petri du langage {Estelle}},
    BOOKTITLE={3rd Congres des Nouvelles Architectures pour les
        Communications}, 
    MONTH={Oct},
    ADDRESS={Paris},
    YEAR={1986}
}

@INPROCEEDINGS{courtiat87a,
    AUTHOR={Jean-Pierre Courtiat},
    TITLE={How Could {Estelle} Become a Better {FDT}?},
    PAGES={43--60},
    CROSSREF={rudin87}
}

@misc{courtiat87b,
    author={Jean-Pierre Courtiat},
    title={Proposition of a rendezous mechanism for {Estelle}},
    howpublished={SEDOS Report 110},
    month={Oct},
    year={1987}
    }

@INPROCEEDINGS{courtiat88,
    AUTHOR={Jean-Pierre Courtiat},
    TITLE={{Estelle*}: A Powerful Dialect of {Estelle} for {OSI} Protocol
    Description},
    PAGES={171--186},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{courtiat89a,
    AUTHOR={Jean-Pierre Courtiat and Michel Diaz and M. Ayoub~Dit~Ayadi}, 
    TITLE={Description formelle de protocoles {OSI} en {Estelle}},
    CROSSREF={sfbsir89},
    PAGES={47--55},
    YEAR={1989}
}

@INPROCEEDINGS{pageot88,
    AUTHOR={Jean-Mazrie Pageot and Claude Jard},
    TITLE={Experience in Guiding Simulation},
    PAGES={207--218},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{shratori88,
    AUTHOR={Norio Shiratori and Kaoru Takahashi and Shoichi Noguchi},
    TITLE={An Intelligent User-friendly Support System for Protocol and
    Communication Software Development},
    PAGES={257--269},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{mizuno88,
    AUTHOR={Tadanori Mizuno and Jun Munemori and Fumiaki Sato and
    Tetsuo Nakakawaji and Kotaro Katsuyama},
    TITLE={Cottage:  Systematic Method for the Development of
    Communication Software},
    PAGES={269--280},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{miller88,
    AUTHOR={Steven Miller and Jon Kuhl},
    TITLE={A model for the functional specification and analysis of
    complex protocols}, 
    PAGES={307--318},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{lam88,
    AUTHOR={Simon S. Lam and A. Udaya Shankar},
    TITLE={A Relational Notation for the State Transition Systems},
    PAGES={333--348},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{chung88,
    AUTHOR={A. Chung and D. P. Sidhu and T. P. Blumer},
    TITLE={Automated Validation of Protocols Using {EDS}},
    PAGES={351--360},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{vuong88,
    AUTHOR={Son T. Vuong and R. Isaac Chjan and Wendy Y. L. Chan},
    TITLE={An {Estelle}-{C} Compiler for Automatic Protocol Implementation},
    PAGES={387--398},
    CROSSREF={aggarwal88}
}

@INPROCEEDINGS{phalippou90,
    AUTHOR={Marc Phailppou},
    TITLE={Functional Specification for an {ISDN} switching system:  an
    experience using {Estelle}}, 
    PAGES={15--24},
    CROSSREF={brinksma90}
}

@INPROCEEDINGS{shratori90,
    AUTHOR={Norio Shiratori and Hiroaki Kaminaga and Kaoru Takahashi
    and Shoichi Noguchi},
    TITLE={A verification metnod for {LOTOS} specifications and its
    application},
    PAGES={59--70},
    CROSSREF={brinksma90}
}

@INPROCEEDINGS{chan90,
    AUTHOR={Wendy Y. L. Chan and Son T. Vuong and M. Robert Ito},
    TITLE={On Test Sequence Generation for Protocols},
    PAGES={119--127},
    CROSSREF={brinksma90}
}

@INPROCEEDINGS{jard90,
    AUTHOR={Claude Jard and Jean-Marc J\'{e}z\'{e}quel},
    TITLE={A multi-processor {Estelle}-to-{C} Compiler to Prototype
    Distributed Algorithms on Parallel Machines},
    PAGES={161--171},
    CROSSREF={brinksma90}
}

@INPROCEEDINGS{turner87,
    AUTHOR={Kenneth Turner},
    TITLE={An Architectural Semantics for {LOTOS}},
    PAGES={15--28},
    CROSSREF={rudin87}
}

@INPROCEEDINGS{obaid87,
    AUTHOR={Abdellatif Obaid and Luigi Logrippo},
    TITLE={An Atomic Calculus of Communicating Systems},
    PAGES={91--103},
    CROSSREF={rudin87}
}

@INPROCEEDINGS{leduc87,
    AUTHOR={G. J. Leduc},
    TITLE={The Intertwining of Data Types and Processes in {LOTOS}},
    PAGES={123--136},
    CROSSREF={rudin87}
}

@INPROCEEDINGS{bochmann87a,
    AUTHOR={Bochmann, Gregor v.},
    TITLE={Usage of protocol development tools: the results of a survey},
    CROSSREF={rudin87},
    PAGES={139--161},
    YEAR={1987}
}

@ARTICLE{bochmann87b,
    AUTHOR={Bochmann, Gregor v. and J. P. Verjus},
	TITLE={Some comments on ``Transition-Oriented'' vs.``Structured''
		specification of distributed algorithms and protocols},
    JOURNAL={IEEE Transactions on Software Engineering},
    VOLUME={SE-13},
    NUMBER={4},
    PAGES={501--505},
    MONTH={apr},
    YEAR={1987}
}

 IEEE Trans. on SE Vol SE-13, No 4, April 1987,
> > pp. 501-505.

@INPROCEEDINGS{richier87,
    AUTHOR={J. L. Richier and C. Rodriguez and J. Sifakis and J. Voiron},
    TITLE={Verification in {Xesar} of the Sliding Window Protocol},
    PAGES={235--248},
    CROSSREF={rudin87}
}

@INPROCEEDINGS{dembinski87,
    AUTHOR={Piotr Dembi{\'n}ski and Stanislaw Budkowski},
    TITLE={Simulating {Estelle} Specifications with Time Parameters},
    PAGES={265--279},
    CROSSREF={rudin87}
}

@INPROCEEDINGS{ural87,
    AUTHOR={Hasan Ural},
    TITLE={A Test Derivation Method for Protocol Conformance Testing},
    PAGES={347--357},
    CROSSREF={rudin87}
}

@INPROCEEDINGS{freudenmann87,
    AUTHOR={J. Freudenmann},
    TITLE={Develpment of Communication Software by Stepwise Refinement},
    PAGES={391--404},
    CROSSREF={rudin87}
}

@INPROCEEDINGS{hengeveld87,
    AUTHOR={W. Hengeveld and J. Kroon},
    TITLE={Using Checking Sequences for {OSI} Session Layer Conformance
    Testing}, 
    PAGES={435--449},
    CROSSREF={rudin87}
}

@INPROCEEDINGS{ansart87,
    AUTHOR={Jean-Pierre Ansart and Paul D. Amer and Vijaya Chari and J.-F.
        Lenotre and L. Lumbroso and E. Mariani and Eric Mattera}, 
    TITLE={Software tools for {Estelle}},
    PAGES={55--61},
    CROSSREF={sarikaya87}
}

@INPROCEEDINGS{briand87,
    AUTHOR={J.-P. Briand and M. C. Fehri and L. Logrippo and A. Obiad},
    TITLE={Executing {LOTOS} Specifications},
    PAGES={73--81},
    CROSSREF={sarikaya87}
}

@INPROCEEDINGS{woodside87,
    AUTHOR={C. M. Woodside and T. W. Pearce and R. J. A. Bubr},
    TITLE={The {Caede/Estelle} Graphical Tool for Formal Definitions of
    Protocols},
    PAGES={97--107},
    CROSSREF={sarikaya87}
}

@INPROCEEDINGS{nakakawaji87,
    AUTHOR={Tetsuo Nakakawaji and Tadanori Mizuno and Kazuo Ushijima
    and Keijiro Araki},
    TITLE={Application of Concurrent {Euclid} to Specification,
    Implementation and Verification of Communication Protocol}, 
    PAGES={109--120},
    CROSSREF={sarikaya87}
}

@INPROCEEDINGS{kanungo87,
    AUTHOR={Biswajit Kanungo and Louise Lamont and Robert L. Probert
    and Hasan Ural},
    TITLE={A useful {FSM} Representation for Test Suite Design and Development},
    PAGES={163--172},
    CROSSREF={sarikaya87}
}

@INPROCEEDINGS{west87,
    AUTHOR={Colin H. West},
    TITLE={Protocol Validation by Random State Exploration},
    PAGES={233--242},
    CROSSREF={sarikaya87}
}

@INPROCEEDINGS{groz87,
    AUTHOR={Roland Groz},
    TITLE={Unrestricted verification of protocol properties on a
    simulation using an observer approach}, 
    PAGES={255--266},
    CROSSREF={sarikaya87}
}

@INPROCEEDINGS{juanole87,
    AUTHOR={Guy Juanole and Andr\'e Onodi},
    TITLE={On Gateway Architecture, Formal Modelling and Verification},
    PAGES={323--331},
    CROSSREF={sarikaya87}
}

@INPROCEEDINGS{ahooja87,
    AUTHOR={Ramaesh Ahooja and {Beh\c{c}et} Sarikaya},
    TITLE={Comparing Normal Forms Obtained from {Estelle} and {LOTOS}
        Specifications},
    PAGES={373--384},
    CROSSREF={sarikaya87}
}

@INPROCEEDINGS{aggarwal87,
    AUTHOR={Sudhir Aggrarwal and Daniel Barbara and Costas Courcoubetis},
    TITLE={Real-Time Coordination of Conconrrent Activities},
    PAGES={387--400},
    CROSSREF={sarikaya87}
}

@INPROCEEDINGS{meandzija87,
    AUTHOR={Branislav Meandzija},
    TITLE={On the Run-time Specifications of Protocol Architectures},
    PAGES={413--424},
    CROSSREF={sarikaya87}
}

@INPROCEEDINGS{fernandez86,
    AUTHOR={J. C. Fernandez and J. L. Richier and J. Voiron},
    TITLE={Verification of Protocol Specifications Using the {Cesar} System},
    PAGES={71--84},
    CROSSREF={diaz86}
}

@INPROCEEDINGS{azema86,
    AUTHOR={Pierre Azema and Giorgos Papapanagiotakis},
    TITLE={Protocol Analysis by Using Predicate Nets},
    PAGES={119--130},
    CROSSREF={diaz86}
}

@INPROCEEDINGS{bochmann86a,
    AUTHOR={Bochmann, Gregor v. and Rachida Dssouli and Wanderley Lopes
    de Souza and {Beh\c{c}et} Sarikaya and Hasan Ural},
    TITLE={Use of {Prolog} for Building Protocol Design Tools},
    PAGES={131--145},
    CROSSREF={diaz86}
}

@INPROCEEDINGS{leduc86,
    AUTHOR={Guy J. Leduc},
    TITLE={Assessing the Service Provided by a Connection-less Protocol},
    PAGES={215--234},
    CROSSREF={diaz86}
}

@INPROCEEDINGS{roisin86,
    AUTHOR={C\'ecile Roisin},
    TITLE={Protocol Description with the {Occam} Language},
    PAGES={235--246},
    CROSSREF={diaz86}
}

@INPROCEEDINGS{hansson86,
    AUTHOR={Hans A. Hansson},
    TITLE={Automatic inplementation of formal descriptions of
    communication protocols},
    PAGES={259--267},
    CROSSREF={diaz86}
}

@INPROCEEDINGS{linn86,
    AUTHOR={Linn, Jr., Richard J.},
    TITLE={The Features and Facilities of {Estelle}},
    PAGES={271--291},
    CROSSREF={diaz86}
}

@INPROCEEDINGS{jard86,
    AUTHOR={Claude Jard and Jean-Francois Monin and Roland Groz},
    TITLE={Experience in Implementing {X.250} (a {CCITT} subset of
    {Estelle}) in {Veda}},
    PAGES={315--330},
    CROSSREF={diaz86}
}

@ARTICLE{jard88,
    AUTHOR={Claude Jard and Jean-Francois Monin and Roland Groz},
    TITLE={Development of {Veda}, a Prototyping Tool for Distributed
        Algorithms}, 
    JOURNAL={IEEE Trans on Software Engineering},
    VOLUME={14},
    NUMBER={3},
    MONTH={mar},
    YEAR={1988}
}

@INPROCEEDINGS{venkatraman86,
    AUTHOR={R. C. Venkatraman and Thomas Piatkowski},
    TITLE={A Formal Comparison of Formal Protocol Specification Techniques},
    PAGES={401--409},
    CROSSREF={diaz86}
}

@INPROCEEDINGS{lonc86,
    AUTHOR={Brigitte Lonc},
    TITLE={{GENEPIX}:  A Portable Version Under {Unix} of the {OSI}
    Protocol Tester {GENEPI}},
    PAGES={507--515},
    CROSSREF={diaz86}
}

@INPROCEEDINGS{rafiq86,
    AUTHOR={O. Rafiq and Castanet and C. Chraibi},
    TITLE={Towards an Environment for Testing {OSI} Protocols},
    PAGES={533--543},
    CROSSREF={diaz86}
}

@INPROCEEDINGS{groz85,
    AUTHOR={Roland Groz and Claude Jard and Claire Lassudrie},
    TITLE={Attacking a Complex Distributed Algorithm from Different
    Sides:  An Experience with Complemtary Validation Tools}, 
    PAGES={3--17},
    CROSSREF={yemini85}
}

@INPROCEEDINGS{bochmann85,
    AUTHOR={Bochmann, Gregor v. and E. Cerney and G. Gerber and Rachida Dssouli
        and Michel Maksud and B. H. Phan and B. Sarikaya and J. M. Serre}, 
    TITLE={Use of Formal Specificiations for Protocol Design,
        Implementation and Testing}, 
    PAGES={137--143},
    CROSSREF={yemini85}
}

@INPROCEEDINGS{valet85,
    AUTHOR={Isabelle Valet and Dominique Rerat},
    TITLE={Formal Description of the {Nadir} Transport Protocol Using the
    {PDIL} Language}, 
    PAGES={147--163},
    CROSSREF={yemini85}
}

@INPROCEEDINGS{brinksma85,
    AUTHOR={Ed Brinksma and Guenther Karjoth},
    TITLE={A specification of the {OSI} transport service in {LOTOS}},
    PAGES={227--251},
    CROSSREF={yemini85}
}

@INPROCEEDINGS{daniels85,
    AUTHOR={Mats Daniels and Hans A. Hansson},
    TITLE={An {ASYL/EFSM} Description of the {ISO} Transport Protocol},
    PAGES={349--367},
    CROSSREF={yemini85}
}

@INPROCEEDINGS{sidhu85,
    AUTHOR={Deepinder P. Sidhu and Thomas Blumer},
    TITLE={Some Problems with the Specification of the Military Standard Transmission Control Protocol},
    PAGES={375--381},
    CROSSREF={yemini85}
}

@INPROCEEDINGS{anderson85,
    AUTHOR={David P. Anderson and Lawrence Landweber},
    TITLE={Protocol Specification by Real-Time Attribute Grammars},
    YEAR={1985},
    PAGES={457--465},
    CROSSREF={yemini85}
}

@INPROCEEDINGS{linn85,
    AUTHOR={Linn, Jr., Richard J.},
    TITLE={An Evaluation of the {ICST} Test Architecture after Testing
        Class 4 Transport}, 
    YEAR={1985},
    PAGES={611--621},
    CROSSREF={yemini85}
}

@INPROCEEDINGS{diaz89a,
    AUTHOR={Michel Diaz and Chris Vissers and Jean-Pierre Ansart},
    TITLE={{SEDOS} Software Environment for the Design of Open
        Distributed Systems},
    PAGES={3--14},
    CROSSREF={diaz89}
}

@INPROCEEDINGS{dembinski89,
    AUTHOR={Piotr Dembi{\'n}ski and Stanislaw Budkowski},
    TITLE={Specification Language {Estelle}},
    PAGES={35--75}, 
    CROSSREF={diaz89}, 
}

@INPROCEEDINGS{dembinski89a,
    AUTHOR={Piotr Dembi{\'n}ski},
    TITLE={{Estelle} Semantics},
    PAGES={77--132},
    CROSSREF={diaz89}
}

@INPROCEEDINGS{courtiat89b,
    AUTHOR={Jean-Pierre Courtiat},
    TITLE={A {Petri} Net Based Semantics for {Estelle}},
    PAGES={135--173},
    CROSSREF={diaz89}
}

@INPROCEEDINGS{courtiat89c,
    AUTHOR={Jean-Pierre Courtiat},
    TITLE={Introducing A Rendez-vous Mechanism in {Estelle}: {Estelle*}},
    PAGES={175--194},
    CROSSREF={diaz89}
}

@INPROCEEDINGS{coen89,
    AUTHOR={A. Coen and A. Lombardo and S. Palazzo},
    TITLE={The {Eva} Tool:  An Approach to Verify Structuring in {Estelle}
        Specifications}, 
    PAGES={303--320},
    CROSSREF={diaz89}
}

@INPROCEEDINGS{chari89,
    AUTHOR={Vijaya Chari and J.-F. Lenotre and E. Mariani},
    TITLE={The {Estelle} Translator},
    PAGES={325--348},
    CROSSREF={diaz89}
}

@INPROCEEDINGS{saqui-sannes89a,
    AUTHOR={Pierre de Saqui-Sannes and Jean-Pierre Courtiat},
    TITLE={Rapid Prototyping of an {Estelle} Simulator: {ESTIM}},
    PAGES={353--371},
    CROSSREF={diaz89}
}

@INPROCEEDINGS{chari89a,
    AUTHOR={Vijaya Chari and J.-F.Lenotre and L. Lumbroso and E. Mariani},
    TITLE={An {Estelle} Simulator/Debugger Tool},
    PAGES={381--396},
    CROSSREF={diaz89}
}

@INPROCEEDINGS{richard89,
    AUTHOR={Jean-Luc Richard and Thierry Claes},
    TITLE={A Generator of {C}-Code for {Estelle}},
    PAGES={397--420},
    CROSSREF={diaz89}
}

@INPROCEEDINGS{ayache89a,
    AUTHOR={Jean Michel Ayache and J. Berrocal and Stanislaw Budkowski
        and Michel Diaz and J. Dufau and A. M. Druilhe and N. Echevarria
        and Roland Groz and M. Huybrechts},
    TITLE={Presentation of the {SEDOS} {Estelle} Demonstrator Project},
    PAGES={423--437},
    CROSSREF={diaz89}
}

@INPROCEEDINGS{gustavsson83,
    AUTHOR={Rune Gustavsson and Bjorn Pehrson},
    TITLE={The Power of Some Formal Models of Distributed Computing},
    PAGES={77--86},
    CROSSREF={rudin83},           
}

@INPROCEEDINGS{logrippo83,
    AUTHOR={Luigi Logrippo},
    TITLE={``{C}onstructive'' and ``Executable'' Specifications of
        Protocol Services by Using Abstract Data Types and Finite State
        Transducers},
    PAGES={111--122},
    CROSSREF={rudin83}
}

@INPROCEEDINGS{ayache83,
    AUTHOR={Jean Michel Ayache and Jean-Pierre Courtiat},
    TITLE={{LC/1}, A Specification and Implementation Language for Protocols},
    PAGES={333--345},
    CROSSREF={rudin83}
}


@INPROCEEDINGS{blumer83,
    AUTHOR={Thomas P. Blumer and Deepinder P. Sidhu},
    TITLE={Experience with an Automated Protocol Development System},
    PAGES={369--380},
    CROSSREF={rudin83}
}

@INPROCEEDINGS{ansart83,
    AUTHOR={Jean-Pierre Ansart and Vijaya Chari and D. Simon},
    TITLE={From Formal Description to Automated Implementation Using
    {PDIL} ({Protocol} {Description} and {Implementation} {Language})},
    PAGES={381--390},
    CROSSREF={rudin83}
}

@INPROCEEDINGS{linn83,
    AUTHOR={Linn, Jr., Richard J. and W. H. McCoy},
    TITLE={Producing Tests for Implementation of {OSI} Protocols},
    PAGES={505--520},
    CROSSREF={rudin83}
}


@INPROCEEDINGS{foedisch92,
    AUTHOR={R. Foedisch and T. Held and H. Koenig},
    TITLE={A Protocol Development Environment Based on {Estelle}},
    CROSSREF={tienari92},
    PAGES={121--141}
}

@ARTICLE{sijelmassi92,
    AUTHOR={Rachid Sijelmassi and Linn, Jr., Richard J.},
    TITLE={Guidelines for Using {Estelle} to Specify {OSI}
        Services and Protocols},
    JOURNAL={Computer Networks and ISDN Systems},
    VOLUME={23},
    YEAR={1992}
}

@INPROCEEDINGS{fischer93,
    AUTHOR={Stefan Fischer},
    TITLE={Implementation of {Estelle} Specifications on the {KSR1}},
    BOOKTITLE={One Year KSR1 at the University of Mannheim --- Results
        and Experiences},
    EDITOR={Robert Schumacher},
    PUBLISHER={Technical Report No.~35/93, Computing Center, 
        University of Mannheim},
    YEAR={1993}
}

@INPROCEEDINGS{keller94,
    AUTHOR={Ralf Keller and Stefan Fischer and Wolfgang Effelsberg},
    TITLE={{Implementing Movie Control, Access and Management ---
        from a Formal Description to Working Multimedia System}},
    BOOKTITLE={Int. Conference on Distributed Computing Systems ---
        ICDCS14, Poznan, Poland. Participants' Proceedings},
    EDITOR={Liba Svobodova},
    ORGANIZATION={IEEE},
    MONTH={June},
    YEAR={1994}
}

@INCOLLECTION{fischer95,
    AUTHOR={Stefan Fischer},
    TITLE={On the Suitability of {Estelle} for Multimedia Systems},
    CROSSREF={dembinski95},
    PAGES={369--384},
    YEAR={1995}
}

@INPROCEEDINGS{lallet96,
    AUTHOR={Eric Lallet and Stefan Fischer and Jean-Fran\c{c}ois
        Verdier},
    TITLE={A New Approach for Distributing {Estelle} Specifications},
    CROSSREF={bochmann96},
    PAGES={339--348},
    year={1996}
}

@INPROCEEDINGS{fischer95b,
    AUTHOR={Stefan Fischer and Wolfgang Effelsberg},
    TITLE={Efficient Configuration of Protocol Software for
        Multiprocessors},
    BOOKTITLE={High Performance Networking {VI}},
    EDITOR={Ramon Puigjaner},
    ADDRESS={London},
    PUBLISHER={Chapman \& Hall},
    PAGES={195--210},
    MONTH=sep,
    YEAR={1995}
}

@INCOLLECTION{fischer96a,
    AUTHOR={Stefan Fischer},
    TITLE={Implementation of multimedia systems based on a
        real-time extension of {Estelle}},
    CROSSREF={gotzhein96a},
    PAGES={310--326},
    YEAR={1996}
}

@TECHREPORT{fischer96b,
    AUTHOR={Stefan Fischer},
    TITLE={Real-Time {Estelle}},
    INSTITUTION={University of Mannheim},
    NUMBER={TR-96-003},
    YEAR={1996}
}

@INPROCEEDINGS{fischer96c,
    AUTHOR={Stefan Fischer and Jacek Wytrebowicz and Stanislaw Budkowski},
    TITLE={Hardware/Software Co-design of Communication Protocols},
    BOOKTITLE={Proc.\ of the 22nd Euromicro Conference},
    EDITOR={P. Milligan and K. Kuchcinski},
    PUBLISHER={IEEE Computer Society Press},
    ADDRESS={Prague, Czech Republic},
    PAGES={476--483},
    MONTH={sep},
    YEAR={1996}
}

@ARTICLE{gotzhein96b,
    AUTHOR={Reinhard Gotzhein and Jan Bredereke and Wolfgang
        Effelsberg and Stefan Fischer and Hartmut K{\"o}nig and Thomas Held},
    TITLE={Improving the Efficiency of Automated Protocol
        Implementations Using {Estelle}},
    JOURNAL={Computer Communications},
    VOLUME={19},
    NUMBER={14},
    PAGES={1226--1235},
    MONTH={dec},
    YEAR={1996}
}

@ARTICLE{bochmann89a,
    AUTHOR={Bochmann, Gregor v. and G. Gerber and J.-M. Serre},
    TITLE={Semiautomatic implementation of communication protocols},
    JOURNAL={IEEE Transactions on Software Engineering},
    VOLUME={SE-13},
    NUMBER={9},
    PAGES={989--1000},
    MONTH={sep},
    YEAR={1987},
    NOTE={Reprinted in \emph{Automatic Implementation and Conformance
        Testing of {OSI} Protocols}, D. P. Sidhu, ed. {IEEE}, 1989} 
}

@ARTICLE{bochmann92a,
    AUTHOR={Bochmann, Gregor v. and Daniel Ouimet and Vaucher, J.},
    TITLE={Performance simulation of communication protocols based on
        formal specifications}, 
    JOURNAL={Transactions of the Society for Computer Simulation},
    VOLUME={9},
    NUMBER={4},
    PAGES={201--225},
    MONTH={dec},
    YEAR={1992}
}

@ARTICLE{bochmann90a,
    AUTHOR={Bochmann, Gregor v.},
    TITLE={Protocol specification for {OSI}},
    JOURNAL={Computer Networks and ISDN Systems},
    VOLUME={18},
    PAGES={167--184},
    MONTH={apr},
    YEAR={1990}
}

@ARTICLE{bochmann90b,
    AUTHOR={Bochmann, Gregor v.},
    TITLE={Specifications of a simplified Transport protocol using
        different formal description techniques}, 
    JOURNAL={Computer Networks and ISDN Systems},
    VOLUME={18},
    PAGES={335--377},
    MONTH={jun},
    YEAR={1990}
}

@INCOLLECTION{bochmann93b,
	AUTHOR={Bochmann, Gregor v.},
	TITLE={Protocol Engineering},
	BOOKTITLE={Concise Encyclopedia of Software Engineering},
	EDITOR={Derrick Morris and Boris Tamm},
	ADDRESS={Oxford},
	PUBLISHER={Pergamon Press},
	PAGES={266--271},
	YEAR={1993}
}

@ARTICLE{sarikaya87a,
    AUTHOR={Beh\c{c}et Sarikaya and Bochmann, Gregor v. and E. Cerny},
    TITLE={A Test Design Methodology for Protocol Testing},
    JOURNAL={IEEE Transactions on Software Engineering},
    VOLUME={13},
    NUMBER={5},
    PAGES={518--531},
    MONTH={may},
    YEAR={1987}
}

@ARTICLE{bochmann86b,
    AUTHOR={Bochmann, Gregor v.},
    TITLE={Semi-automatic implementation of Transport and Session protocols}, 
    JOURNAL={Computer Standards and Interfaces},
    VOLUME={5},
    NUMBER={4},
    PAGES={343--349},
    YEAR={1986}
}

@ARTICLE{bochmann86c,
    AUTHOR={Bochmann, Gregor v.},
    TITLE={Recent development in protocol specification, validation
        and testing},  
    JOURNAL={Journal of China Institute of Communications},
    VOLUME={7},
    NUMBER={4},
    PAGES={76--88},
    MONTH={jul},
    YEAR={1986}
}

@ARTICLE{bochmann89b,
	AUTHOR={Bochmann, Gregor v. and Rachida Dssouli and J. R. Zhao},
	TITLE={Trace analysis for conformance and arbitration testing},
	JOURNAL={IEEE Transactions on Software Engineering},
	VOLUME={15},
	NUMBER={11},
	PAGES={1347-1356},
	MONTH={nov},
	YEAR={1989}
}

@ARTICLE{ezust95,
    AUTHOR={ S. Alan Ezust and Bochmann, Gregor v.},
    TITLE={An Automatic Trace Analysis Tool Generator for {Estelle}
        Specifications}, 
    JOURNAL={Computer Communication Review},
    VOLUME={25},
    NUMBER={4},
    PAGES={175--184},
    MONTH={oct},
    YEAR={1995},
    COMMENT={Proceedings of ACM SIGCOMM '95 Conference, Cambridge, MA}
}

@INPROCEEDINGS{gotzhein94,
    AUTHOR={Reinhard Gotzhein and Bochmann, Gregor v.},
    TITLE={Specialization in {Estelle}},
    CROSSREF={vuong94},
    PAGES={17--32},
    year={1994}
}

@INPROCEEDINGS{bochmann93a,
    AUTHOR={Bochmann, Gregor v.},
    TITLE={Specification languages for communication protocols},
    CROSSREF={agnew93},
    PAGES={379--396},
    YEAR={1993}
}

@INPROCEEDINGS{dubuc92,
    AUTHOR={M. Dubuc and Rachida Dssouli and Bochmann, Gregor v.},
    TITLE={{TESTL}: A tool for the analysis of test sequences based
        on finite-state model}, 
    CROSSREF={kroon92},
    PAGES={195--206},
    YEAR={1992}
}

@INPROCEEDINGS{bochmann92b,
    AUTHOR={Bochmann, Gregor v. and A. Das and Rachida Dssouli and M.
    Dubuc and A. Ghedamsi and G. Luo},
    TITLE={Fault models in testing}, 
    CROSSREF={kroon92},
    PAGES={(II-17)--(II-32)},
    YEAR={1992}
}

@INPROCEEDINGS{bochmann91a,
    AUTHOR={Bochmann, Gregor v. and Daniel Ouimet},
    TITLE={{OSI} specifications using {ASN.1} and other formal
        description techniques}, 
    BOOKTITLE={Proc.\ Ninth Brasilian Symposium on Computer Networks},
    ADDRESS={Florianopolis, Bresil},
    MONTH={may},
    YEAR={1991}
}


@INPROCEEDINGS{bochmann91b,
    AUTHOR={Bochmann, Gregor v. and Daniel Ouimet and G. Neufeld},
    TITLE={{ASN.1} and {Estelle} implementation support tools}, 
    CROSSREF={quemada91},
    PAGES={531--534},
    YEAR={1991}
}

@INPROCEEDINGS{bochmann90c,
    AUTHOR={Bochmann, Gregor v. and Luigi Logrippo and Beh\c{c}et Sarikaya},
    TITLE={Formal specifications for protocols: issues and experiences}, 
    CROSSREF={csaba90},
    PAGE={3--21},
    YEAR={1990}
}

@INPROCEEDINGS{bochmann90d,
    AUTHOR={Bochmann, Gregor v.},
    TITLE={Formal methods for describing distributed systems: {A}
        discussion of the experience in {OSI} standardization}, 
    CROSSREF={cosnard90},
    PAGES={29--39},
    YEAR={1990}
}

@INPROCEEDINGS{bochmann86d,
    AUTHOR={Bochmann, Gregor v.},
    TITLE={Recent Developments in Protocol Specification, Validation
        and Testing}, 
    BOOKTITLE={Proc.\ Computer Communications Conf., Recife, Brazil, 1986}, 
    PAGES={354--368},
    YEAR={1986}
}

@ARTICLE{sarikaya86,
    AUTHOR={Beh\c{c}et Sarikaya and Bochmann, Gregor v. and Michel
        Maksud and Jean-Marc Serre}, 
    TITLE={Formal specification based conformance testing},
    JOURNAL={Computer Communication Review},
    VOLUME={16},
    NUMBER={3},
    PAGES={236--240},
    YEAR={1986},
    NOTE={Proceedings of ACM SIGCOMM `86, Stowe, Vermont, August 5--7, 1986}
}

@INPROCEEDINGS{sarikaya85,
    AUTHOR={Beh\c{c}et Sarikaya and Bochmann, Gregor v.},
    TITLE={Obtaining normal form specifications for protocols},
    BOOKTITLE={Computer Network Usage: Recent Experiences},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    PAGES={601--613},
    YEAR={1985},
    NOTE={Proc.\ IFIP COMNET'85}
}

@TECHREPORT{chamberlain90b,
    AUTHOR={Samuel C. Chamberlain},
    TITLE={An {Estelle} specification of the fact exchange protocol
        ({FEP})}, 
    INSTITUTION={Comp. \& Info. Sci., Univ. of Delaware},
    NUMBER={90--11},
    YEAR={1990}
}

@ARTICLE{amer89,
    AUTHOR={Paul D. Amer and Figen {\c{C}}e{\c{c}}eli},
    TITLE={{Estelle} formal specification of {ISO} virtual terminal},
    JOURNAL={Computer Standards and Interfaces},
    VOLUME={9},
    NUMBER={2},
    PAGES={87--104},
    YEAR={1989}
}

@MISC{ansart86,
    AUTHOR={Jean-Pierre Ansart},
    TITLE={Formal Description of the {ISO} {I}nternational {S}tandard
        8073 Transport Protocol in {Estelle}}, 
    HOWPUBLISHED={SEDOS Project Rhin ADI},
    MONTH={mar},
    YEAR={1986}
}

@TECHREPORT{mondain-monval86a,
    AUTHOR={P. Mondain-Monval},
    TITLE={{ISO} Session Service Specification in {Estelle}},
    INSTITUTION={ESPRIT Project},
    NUMBER={SEDOS Report 70},
    MONTH={nov},
    YEAR={1986}
}

@INCOLLECTION{mondain-monval86b,
    AUTHOR={P. Mondain-Monval},
    TITLE={{ISO} Session Protocol Specification in {Estelle}},
    CROSSREF={diaz89},
    DATE={1989}
}

@STANDARD{iso8473pdad2,
    AUTHOR={ISO},
    TYPE={IS8473/PDAD},
    NUMBER={2},
    TITLE={Information Processing Systems --- Open System
            Interconnection --- {P}rotocol for providing the
            connectionless-mode network service ({I}nternet
            {P}rotocol) ---
            {Addendum} 2: {Estelle} formal description},
    ORGANIZATION={International Organization for Standardization},
    ADDRESS={Geneva},
    NOTE={Proposed Draft Addendum}
}


@ARTICLE{budkowski87,
    AUTHOR={Stanislaw Budkowski and Piotr Dembi{\'n}ski},
    TITLE={An introduction to {Estelle}: a specification language for
        distributed systems},   
    JOURNAL={Computer Networks and ISDN Systems},
    VOLUME={14},
    NUMBER={1},
    PAGES={3--23},
    YEAR={1987}
}

@MANUAL{edt94,
    AUTHOR={INT},
    TITLE={{EDT} --- {Estelle} Development Toolset --- Manuals},
    ORGANIZATION={INT --- Institut National des T{\'e}l{\'e}communications},
    ADDRESS={Evry, France},
    YEAR={1994}
}

@INPROCEEDINGS{chamberlain91a,
    TITLE={{Estelle} Enhancements to Support the Specification of
        Distributed Systems}, 
    EDITOR={Witold Komorowski},
    AUTHOR={S. Chamberlain and Paul D. Amer},
    BOOKTITLE={Proc.\  Computer Networks~'91},
    ADDRESS={Wroclaw, Poland},
    MONTH={jun},
    YEAR={1991}
}

@PHDTHESIS{Chamberlain92,
    AUTHOR={Samuel C. Chamberlain},
    TITLE={{Estelle} Enhancements for Formally Specifying Distributed
        Systems}, 
    SCHOOL={University of Delaware},
    NOTE={Technical Report No.~92-17},
    YEAR={1991}
}

@ARTICLE{chamberlain91b,
    AUTHOR={Samuel C. Chamberlain and Paul D. Amer},
    TITLE={Broadcast channels in {Estelle}},
    JOURNAL={IEEE Transactions on Computers},
    VOLUME={C-40},
    PAGES={423--436},
    NUMBER={4},
    MONTH={apr},
    YEAR={1991}
}

@ARTICLE{thooft87,
    AUTHOR={G. T'Hooft},
    TITLE={Formal description techniques: {C}ommunication tools for
        data communication specialists: {F}ormal specification and
        implementation of a file transfer protocol},  
    JOURNAL={Computer Networks and ISDN Systems},
    VOLUME={14},
    NUMBER={1},
    PAGES={311--321},
    YEAR={1987}
}

@TECHREPORT{chun88,
     AUTHOR={Woojik Chun and Paul D. Amer},
     TITLE={Test case generation for {ISO} virtual terminal protocol},
     INSTITUTION={Comp. \& Info. Sci., Univ of Delaware},
     NUMBER={89--23},
     MONTH={jun},
     YEAR={1989} 
}

@INPROCEEDINGS{lombardo86,
    AUTHOR={A. Lombardo},
    TITLE={On the {Estelle} specification of {OSI} protocols},
    BOOKTITLE={Proc.\ Computer Networking Symposium},
    ADDRESS={Washington, DC},
    PAGES={3--11},
    MONTH={nov},
    YEAR={1986}
}

@INPROCEEDINGS{amer97a,
    AUTHOR={Paul D. Amer and A. Sethi and Mariusz A. Fecko and M.
    {\"U}mit Uyar},
    TITLE={Formal design and testing of army communication protocols
        based on {Estelle}},
    BOOKTITLE={Proc.\ 1st {ARL/ATIRP} Conf.},
    ADDRESS={College Park, MD},
    MONTH={jan},
    YEAR={1997}
}

@INPROCEEDINGS{amer97b,
    AUTHOR={Paul D. Amer and Phillip Conrad and E. Golden and Sami
        Iren and A. Caro},
    TITLE={Partially-ordered, partially-reliable transport service
        for multimedia applications},
    BOOKTITLE={Proc.\ 1st {ARL/ATIRP} Conf.},
    ADDRESS={College Park, MD},
    MONTH={jan},
    YEAR={1997}
}

@INPROCEEDINGS{uyar98a,
    AUTHOR={M. {\"U}mit Uyar and Mariusz A. Fecko and A. Sethi and
    Paul D. Amer},
    TITLE={Generation of realizable conformance tests under timing
        constraints},
    BOOKTITLE={Proc.\ 2nd {ARL/ATIRP} Conf.},
    ADDRESS={College Park, MD},
    MONTH={feb},
    YEAR={1998}
}


@INPROCEEDINGS{amer98,
    AUTHOR={Paul D. Amer and A. Sethi and Mariusz A. Fecko and M.
    {\"U}mit Uyar},
    TITLE={Using formal methods to evolve {MIL}-{STD} 188-220},
    BOOKTITLE={Proc.\ 2nd {ARL/ATIRP} Conf.},
    ADDRESS={College Park, MD},
    MONTH={feb},
    YEAR={1998}
}

@INPROCEEDINGS{iren98,
    AUTHOR={Sami Iren and Paul D. Amer and A. Caro and Phillip Conrad
    and G. Sezen and M. Taube},
    TITLE={Network-conscious compressed image transmission over
    battlefield networks},
    BOOKTITLE={Proc.\ 2nd {ARL/ATIRP} Conf.},
    ADDRESS={College Park, MD},
    MONTH={feb},
    YEAR={1998}
}

@INPROCEEDINGS{conrad98,
    AUTHOR={Phillip Conrad and Paul D. Amer and A. Caro and Sami Iren
    and G. Sezen and M. Taube},
    TITLE={Testing environment for innovative transport protocols},
    BOOKTITLE={Proc.\ 2nd {ARL/ATIRP} Conf.},
    ADDRESS={College Park, MD},
    MONTH={feb},
    YEAR={1998}
}

@INPROCEEDINGS{li95,
    AUTHOR={H. Li and Paul D. Amer and Samuel C. Chamberlain},
    TITLE={{Estelle} specification of {MIL}-{STD} 188-220{A}:
        {I}nteroperability standard for digital message transfer device
        subsystems},
    BOOKTITLE={Proc.\ MILCOM '95},
    ADDRESS={San Diego, CA},
    MONTH={nov},
    YEAR={1995}
}

@INPROCEEDINGS{burch95b,
    AUTHOR={R. Burch and Paul D. Amer and Samuel C. Chamberlain},
    TITLE={Performance evaluation of {MIL}-{STD} 188-220{A}:
    Interoperability standard for digital message transfer device
        subsystems},
    BOOKTITLE={Proc.\ {MILCOM} '95},
    ADDRESS={San Diego, CA},
    MONTH={nov},
    YEAR={1995}
}

@ARTICLE{amer94,
	AUTHOR={Paul D. Amer and Christophe Chassot and Thomas J. Connolly
		and Michel Diaz and Phillip Conrad},
	TITLE={Partial-order transport service for multimedia and other
		applications}, 
	JOURNAL={IEEE/ACM Transactions on Networking},
	VOLUME={2},
	NUMBER={5},
	PAGES={440--456},
	MONTH={oct},
	YEAR={1994}
}

@INPROCEEDINGS{amer96,
    AUTHOR={Paul D. Amer and G. Burch and A. Sethi and D. Zhu and T.
        Dzik and R. Menell and M. McMahon},
    TITLE={{Estelle} specification of {MIL}-{STD} 188-220{A} datalink
        layer},
    BOOKTITLE={Proc.\ {MILCOM} '96},
    ADDRESS={McLean, VA},
    MONTH={oct},
    YEAR={1996}
}

@INPROCEEDINGS{fecko97,
    AUTHOR={Mariusz A. Fecko and Paul D. Amer and A. Sethi and M.
    {\"U}mit Uyar and T. Dzik and R. Menell and M. McMahon},
    TITLE={Formal design and testing of {MIL}-{STD} 188-220{A} based on
    {Estelle}},
    BOOKTITLE={Proc.\ MILCOM '97},
    ADDRESS={Monterey, CA},
    MONTH={nov},
    YEAR={1997}
}

@INPROCEEDINGS{dzik97,
    AUTHOR={T. Dzik and M. McMahon},
    TITLE={{MIL}-{STD} 188-220{A} evolution: {A} model for technical
    architecture standards development},
    BOOKTITLE={Proc.\ MILCOM '97},
    ADDRESS={Monterey, CA},
    MONTH={nov},
    YEAR={1997}
}

@INPROCEEDINGS{uyar98b,
    AUTHOR={M. {\"U}mit Uyar and Mariusz A. Fecko and A. Sethi and
    Paul D. Amer},
    TITLE={Minimum-cost solutions for testing protocols with timers},
    BOOKTITLE={Proc.\ IEEE International Performance, Computing, and
        Communications Conf.},
    ADDRESS={Phoenix},
    MONTH={feb},
    YEAR={1998}
}

@STANDARD{dod188-220B,
    AUTHOR={DoD},
    TYPE={MIL-STD},
    NUMBER={~188-220},
    TITLE={Military Standard --- Interoperability Standard for Digital
        Message Device Subsystems ({MIL}-{STD} 188-220{B}), ({July} 97
        draft, currently under approval review)},
    YEAR={1998}
}


@STANDARD{dod188-220A,
    AUTHOR={DoD},
    TYPE={MIL-STD},
    NUMBER={~188-220A},
    TITLE={Military Standard --- Interoperability Standard for Digital
    Message Device Subsystems ({MIL}-{STD} 188-220{A}), {27Jul95}.},
    YEAR={1995}
}

@STANDARD{dod188-220,
    AUTHOR={DoD},
    TYPE={MIL-STD},
    NUMBER={~188-220B},
    TITLE={Military Standard --- Interoperability Standard for Digital
    Message Device Subsystems ({MIL}-{STD} 188-220), {7May93}.},
    YEAR={1993}
}

@INPROCEEDINGS{conrad97a,
    AUTHOR={Phillip Conrad and Paul D. Amer and E. Golden and Sami Iren
        and R. Marasli and A. Caro},
    TITLE={Transport {QoS} over unreliable networks: no guarantees, no
        free lunch!},
    BOOKTITLE={5th {IFIP} International Workshop on {Q}uality of {S}ervice},
    PAGES={315--318},
    ADDRESS={Columbia Univ, NY},
    MONTH={may},
    YEAR={1997}
}

@INCOLLECTION{bredereke95,
    AUTHOR={Jan Bredereke and Reinhard Gotzhein},
    TITLE={Specification, Detection and Resolution of {IN} Feature
        Interactions With {Estelle}},
    CROSSREF={hogrefe95},
    PAGES={376--378},
    YEAR={1995}
}

@INCOLLECTION{bredereke92,
    AUTHOR={Jan Bredereke and Reinhard Gotzhein and Friedrich H.
        Vogt},
    TITLE={Design of a Formal {Estelle} Semantics for
        Verification},
    CROSSREF={diaz93},
    PAGES={153--168},
    MONTH={oct},
    YEAR={1992}
}

@ARTICLE{budkowski92,
    AUTHOR={Stanislaw Budkowski},
    TITLE={{Estelle} development toolset ({EDT})},
    MONTH={aug},
    JOURNAL={Computer Networks and ISDN Systems},
    VOLUME={25},
    NUMBER={1},
    PAGES={63--82},
    YEAR={1992}
}


@INCOLLECTION{caillaud92,
    AUTHOR={B. Caillaud},
    TITLE={The Superimposition of {Estelle} Programs: {A} Tool for the
        Specification and Implementation of Observation and Control
        Algorithms},
    CROSSREF={parker92},
    PAGES={329--344},
    YEAR={1992}
}

@INCOLLECTION{forghani89,
    AUTHOR={B. Forghani and S. Eswara and V. Koukoulidis and
        {Beh\c{c}et} Sarikaya},
    TITLE={An {Estelle} Based Test Generation Tool for Modular
        Specification},
    CROSSREF={vuong90},
    YEAR={1990}
}

@INCOLLECTION{gonzalez95,
    AUTHOR="O. Gonz{\'a}lez and V. G. Garc{\'\i}a and M. Riesco and
        Enrique V{\'a}zquez",
    TITLE={Design of Operating Systems Using the {FDT} {Estelle}},
    CROSSREF={hogrefe95},
    PAGES={51--66},
    YEAR={1995}
}

@INCOLLECTION{hendaz96,
    AUTHOR={M. Hendaz and Stanislaw Budkowski},
    TITLE={A New Approach for Protocols Performance Evaluation using
        annotated {Estelle} Specifications},
    CROSSREF={bochmann96},
    PAGES={441--448},
    YEAR={1996}
}

@ARTICLE{lai94a,
    AUTHOR={R. Lai},
    TITLE={Teaching Communication Protocol Development Using Formal
        Method},  
    JOURNAL={AXIS, The UCISA Journal of Academic Computing and
        Information Systems}, 
    PUBLISHER={Whurr Publisher},
    VOLUME={1},
    NUMBER={2},
    PAGES={38--47},
    YEAR={1994}
}

ARTICLE{lai94b,
    AUTHOR={Richard Lai and A. Jirachiefpattana},
    TITLE={Verification of {ISO} {ACSE} {Estelle} Specifications}, 
    JOURNAL={Computer Communications},
    PUBLISHER={Butterworth-Heinemann}
    VOLUME={17},
    NUMBER={3},
    PAGES={172--188}
    YEAR={1994}
}

@ARTICLE{jirachiefpattana95,
    AUTHOR={A. Jirachiefpattana and Richard Lai},
    TITLE={Uncovering {ISO} {ROSE} Protocol Errors Using {Estelle}},
    JOURNAL={Computer Standards and Interfaces},
    VOLUME={17},
    NUMBER={5--6},
    PAGES={559--583},
    MONTH={sep},
    YEAR={1995}
}

@ARTICLE{lai95,
    AUTHOR={R. Lai and W. Leung},
    TITLE={Industrial and Academic Protocol Testing: {T}he Gap and
        the Means of Convergence}, 
    JOURNAL={Computer Networks and ISDN systems},
    PUBLISHER={North-Holland},
    VOLUME={27},
    NUMBER={4},
    PAGES={537--547},
    YEAR={1995}
}

@ARTICLE{lai96a,
    AUTHOR={Richard Lai and Anthony Lo},
    TITLE={{EASE}: {A} Software Environment for Automatic Implementation of
        Application Protocol}, 
    JOURNAL={Software Practice and Experience},
    PUBLISHER={John Wiley and Sons},
    VOLUME={26},
    NUMBER={1},
    PAGES={83--103},
    YEAR={1996}
}


@ARTICLE{lai96b,
    AUTHOR={Richard Lai and M. C. Wong},
    TITLE={The {ISO} Virtual Terminal Protocol --- A Semi-Automatic
        Implementation},  
    JOURNAL={Computer Communications},
    PUBLISHER={Elsevier Science},
    VOLUME={19},
    NUMBER={12},
    PAGES={990--1000},
    YEAR={1996}
}

@ARTICLE{lai97a,
    AUTHOR={Richard Lai},
    TITLE={An Experience in Using {EDT} to Process the {ISO} {DIS}
        {T}ransaction {P}rocessing {Estelle} Specification}, 
    JOURNAL={Journal of Systems and Software},
    PUBLISHER={North-Holland},
    VOLUME={36},
    NUMBER={2},
    PAGES={137--145},
    YEAR={1997}
}

@ARTICLE{lai97b,
    AUTHOR={R. Lai},
    TITLE={From {Estelle} to {Erlang}}, 
    JOURNAL={Journal of Systems and Software},
    PUBLISHER={North-Holland},
    VOLUME={37},
    NUMBER={3},
    PAGES={235--251},
    YEAR={1997}
}

@ARTICLE{jirachiefpattana97,
    AUTHOR={A. Jirachiefpattana and Richard Lai},
    TITLE={{EVEN}: {A} Software Environment for Estelle Specification
        Verification},  
    JOURNAL={Journal of Systems and Software},
    PUBLISHER={North-Holland},
    VOLUME={39},
    NUMBER={2},
    PAGES={119--144},
    YEAR={1997}
}

@ARTICLE{huang97,
    AUTHOR={S. J. Huang and Richard Lai},
    TITLE={On Measuring the Complexity of an {Estelle} Specification}, 
    JOURNAL={Journal of Systems and Software},
    PUBLISHER={North-Holland},
    VOLUME={40},
    NUMBER={2},
    PAGES={161--181},
    YEAR={1997}
}

@ARTICLE{murphy91,
    AUTHOR={Susan C. Murphy and Per Gunningberg and John P. J.
        Kelly}, 
    TITLE={Experiences with {Estelle}, {LOTOS} and {SDL}: {A}
        Protocol Implementation Experiment},
    JOURNAL={Computer Networks and ISDN Systems},
    VOLUME={22},
    NUMBER={1},
    PAGES={51--59},
    MONTH={aug},
    YEAR={1991}
}

@INCOLLECTION{phalippou95,
    AUTHOR={Marc Phalippou},
    TITLE={Test Sequence Generation Using {Estelle} or {SDL}
        Structure Information},
    CROSSREF={hogrefe95},
    PAGES={415--430},
    YEAR={1995}
}

@INCOLLECTION{ross87,
    AUTHOR={M. Ross and R. van der Heever},
    TITLE={A Critical Evaluation of the {Estelle} Formal Description
        Technique in the Specification of {M}essage {H}andling {S}ystem
        Protocols},
    EDITOR={A. Cerveira},
    BOOKTITLE={Iberian Conference on Data Communications 87},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    MONTH={may},
    YEAR={1987}
}

@TECHREPORT{smith85,
    AUTHOR={Robert C. Smith},
    TITLE={{Estelle} Development System},
    INSTITUTION={Protocol Development Corporation},
    ADDRESS={Brookline, Massachusetts},
    YEAR={1985}
}

@INCOLLECTION{thalmann90,
    AUTHOR={U. Thalmann},
    TITLE={Analysis of {Estelle} Specifications},
    EDITOR={C. M. I. Rattray},
    BOOKTITLE={Specification and Verification of Concurrent Systems},
    ADDRESS={London},
    PUBLISHER={Springer-Verlag},
    COMMENT={Papers presented at the BCS-FACS Workshop on
        Specification and Verification of Concurrent Systems held on 6--8
        July 1988, at the University of Stirling, Scotland},
    YEAR={1990}
}

@INPROCEEDINGS{gao95,
    AUTHOR={Qiang Gao and Roland Groz and Bochmann, Gregor v. and Joumana
        Dargham and E. Houssain Htite}, 
	TITLE={Validation of distributed algorithms and protocols},
	BOOKTITLE={Proceedings of the 1995 International Conference on
    	Network Protocols (ICNP '95)},
	PUBLISHER={IEEE Computer Society Press},
	ADDRESS={Los Alamitos, California},
	PAGES={110--117},
	COMMENT={ICNP'95, Tokyo},
	YEAR={1995}
}

@INPROCEEDINGS{bochmann94,
	AUTHOR={Bochmann, Gregor v. and Alexandre Petrenko},
	TITLE={Protocol Testing: Review of Methods and Relevance for Software
		Testing},
	BOOKTITLE={Proceedings of the 1994 International Symposium on
		Software Testing and Analysis, ISSTA '94},
	PAGES={109--124},
	YEAR={1994}
}

@ARTICLE{miller94,
	AUTHOR={Raymond E. Miller and Sanjoy Paul},
	TITLE={Structural analysis of protocol specifications and generation
		of maximal fault coverage conformance test sequences},
	JOURNAL={IEEE/ACM Transactions on Networking},
	VOLUME={2},
	NUMBER={5},
	PAGES={457--470},
	YEAR=1994
}

%%%%%%%% BOOKS %%%%%%%%

BOOKS:

@BOOK{turner93,
    EDITOR={Kenneth J. Turner},
    TITLE={Using Formal Description Techniques --- An Introduction to
        {Estelle}, {LOTOS} and {SDL}},
    ADDRESS={Chichester},
    PUBLISHER={John Wiley \& Sons},
    YEAR={1993}
}


@BOOK{hogrefe89,
    AUTHOR={Dieter Hogrefe},
    TITLE={{Estelle}, {LOTOS} und {SDL}: Standard
        Spezifikations\-sprachen f{\"u}r verteilte Systeme},
    ADDRESS={Berlin},
    PUBLISHER={Springer-Verlag},
    PAGES={188},
    YEAR={1989}
}

@BOOK{hogrefe92,
    EDITOR={Dieter Hogrefe},
    BOOKTITLE={For\-male Be\-schrei\-bungs\-tech\-ni\-ken f\"{u}r
         ver\-teilte Sy\-steme},
    TITLE={For\-male Be\-schrei\-bungs\-tech\-ni\-ken f\"{u}r
         ver\-teilte Sy\-steme},
    PUBLISHER={Springer-Verlag},
    ADDRESS={Berlin},
    YEAR={1992}
}

@BOOK{diaz89,
    AUTHOR={Michel Diaz and Jean-Pierre Ansart and Jean-Pierre Courtiat
        and Pierre Azema and Vijaya Chari},
    TITLE={The Formal Description Technique {Estelle}: {Results} of the
        {Esprit} {SEDOS} {Project}},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1989}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                           %
%%%%%%%% PROCEEDINGS %%%%%%%%
%                           %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@PROCEEDINGS{sarikaya87,
    EDITOR={Beh\c{c}et Sarikaya and Bochmann, Gregor v.},
    BookTITLE={Protocol Specification, Testing, and Verification,
    {VI}},
    TITLE={Protocol Specification, Testing, and Verification,
    {VI}},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1987}
}

@PROCEEDINGS{dembinski95,
    BookTITLE={Protocol Specification, Testing and Verification {XV}},
    TITLE={Protocol Specification, Testing and Verification {XV}},
    EDITOR={Piotr Dembi{\'n}ski and Marek {\'S}redniawa},
    ADDRESS={London},
    PUBLISHER={Chapman \& Hall},
    YEAR={1995}
}

@PROCEEDINGS{turner89,
    EDITOR={Kenneth J. Turner},
    BookTITLE={Formal Description Techniques},
    TITLE={Formal Description Techniques},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    COMMENT={FORTE'88, Stirling},
    YEAR={1989}
}

@PROCEEDINGS{vuong90,
    BookTITLE={Formal Description Techniques, {II}},
    TITLE={Formal Description Techniques, {II}},
    EDITOR={Son T. Vuong},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    COMMENT={FORTE'89, Vancouver},
    YEAR={1990}
}

@PROCEEDINGS{quemada91,
    EDITOR={Juan Quemada and Jose Ma\~{n}as and Enrique V\'{a}zquez},
    BookTITLE={Formal Description Techniques, {III}},
    TITLE={Formal Description Techniques, {III}},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    COMMENT={FORTE'90, Madrid},
    YEAR={1991}
}

@PROCEEDINGS{parker91,
    BookTITLE={{FORTE'91}: Fourth International
        Conference on Formal Description Techniques --- Tutorials},
    TITLE={{FORTE'91}: Fourth International
        Conference on Formal Description Techniques --- Tutorials},
    EDITOR={Ken Parker and Gordon Rose},
    PUBLISHER={IFIP WG 6.1},
    ADDRESS={Sydney},
    YEAR={1991}
}

@PROCEEDINGS{parker92,
    EDITOR={K. R. Parker and G. A. Rose},
    BookTITLE={Formal Description Techniques, {IV}},
    TITLE={Formal Description Techniques, {IV}},
    ADDRESS={Amsterdan},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    COMMENT={FORTE'91, Sydney},
    YEAR={1992}
}

@PROCEEDINGS{diaz92,
    BookTITLE={FORTE'92: Fourth International
        Conference on Formal Description Techniques --- Tutorials},
    TITLE={FORTE'92: Fourth International
        Conference on Formal Description Techniques --- Tutorials},
    EDITOR={Michel Diaz and Roland Groz},
    PUBLISHER={IFIP WG 6.1},
    ADDRESS={Lannion, France},
    YEAR={1992}
}

@PROCEEDINGS{diaz93,
    BookTITLE={Formal Description Techniques, {V}},
    TITLE={Formal Description Techniques, {V}},
    EDITOR={Michel Diaz and Roland Groz},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    COMMENT={FORTE'92, Perros-Guirec},
    YEAR={1993}
}

@PROCEEDINGS{tenney94,
    BookTITLE={Formal Description Techniques, {VI}},
    TITLE={Formal Description Techniques, {VI}},
    EDITOR={Richard L. Tenney and Paul D. Amer and M. {\"U}mit Uyar},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    COMMENT={FORTE'93, Boston},
    YEAR={1994}
}

@PROCEEDINGS{hogrefe95,
    BookTITLE={Formal Description Techniques, {VII}},
    TITLE={Formal Description Techniques, {VI}},
    EDITOR={Dieter Hogrefe and Stefan Leue},
    ADDRESS={London},
    PUBLISHER={Chapman \& Hall},
    COMMENT={FORTE'94, Bern},
    YEAR={1995}
}

@PROCEEDINGS{bochmann96,
    BookTITLE={Formal Description Techniques, {VIII}},
    TITLE={Formal Description Techniques, {VIII}},
    EDITOR={Bochmann, Gregor v. and Rachida Dssouli and Omar Rafiq},
    ADDRESS={London},
    PUBLISHER={Chapman \& Hall},
    COMMENT={FORTE'95, Montreal},
    YEAR={1996}
}

@PROCEEDINGS{gotzhein96a,
    BookTITLE={Formal Description Techniques {IX}: {Theory}, application
        and tools},
    TITLE={Formal Description Techniques {IX}: {Theory}, application
        and tools},
    EDITOR={Reinhard Gotzhein and Jan Bredereke},
    ADDRESS={London},
    PUBLISHER={Chapman \& Hall},
    COMMENT={FORTE'96, Kaiserslautern},
    YEAR={1996}
}

@PROCEEDINGS{sunshine82,
    EDITOR={Carl Sunshine},
    BookTITLE={Protocol Specification, Testing, and Verification},
    TITLE={Protocol Specification, Testing, and Verification},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1982}
}

@PROCEEDINGS{logrippo90,
    EDITOR={Luigi Logrippo and Robert L. Probert and Hasan Ural},
    BookTITLE={Protocol Specification, Testing, and Verification, {X}},
    TITLE={Protocol Specification, Testing, and Verification, {X}},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1990}
}

@PROCEEDINGS{danthine93,
    EDITOR={A. Danthine and G. Leduc and P. Wolper},
    BookTITLE={Protocol Specification, Testing and Verification, {XIII}},
    TITLE={Protocol Specification, Testing and Verification, {XIII}},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1993}
}

@PROCEEDINGS{vuong94,
    EDITOR={Son T. Vuong and Samuel T. Chanson},
    BookTITLE={Protocol Specification, Testing and Verification, {XIV}},
    TITLE={Protocol Specification, Testing and Verification, {XIV}},
    ADDRESS={London},
    PUBLISHER={Chapman \& Hall},
    YEAR={1994}
}

@PROCEEDINGS{davidson91,
    EDITOR={Ian Davidson and David M. Litwack},
    BookTITLE={Protocol Test Systems,{III}},
    TITLE={Protocol Test Systems,{III}},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1991}
}


@PROCEEDINGS{kroon92,
    EDITOR={Jan Kroon and Rudolf J. Heikink and Ed Brinksma},
    BookTITLE={Protocol Test Systems, {IV}},
    TITLE={Protocol Test Systems, {IV}},
    SERIES={IFIP Transactions},
    NUMBER={C-3},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1992}
}

@PROCEEDINGS{bochmann93,
    EDITOR={Bochmann, Gregor v. and Rachida Dssouli and A. Das},
    BookTITLE={Protocol Test Systems, {V}},
    TITLE={Protocol Test Systems, {V}},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1993}
}

@PROCEEDINGS{rafiq94,
    EDITOR={Omar Rafiq},
    BookTITLE={Protocol Test Systems,{VI}},
    TITLE={Protocol Test Systems,{VI}},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1994}
}

@PROCEEDINGS{mizuno95,
    EDITOR={Tadanori Mizuno and Teruo Higashino and Norio Shiratori},
    BookTITLE={Protocol Test Systems,{VII}},
    TITLE={Protocol Test Systems,{VII}},
    ADDRESS={London},
    PUBLISHER={Chapman \& Hall},
    COMMENT={IWPTS'94, Tokyo},
    YEAR={1995}
}

@PROCEEDINGS{linn92,
    BookTITLE={Protocol Specification, Testing, and Verification, {XII}},
    TITLE={Protocol Specification, Testing, and Verification, {XII}},
    EDITOR={Linn, Jr., Richard J. and M. {\"U}mit Uyar},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1992}
}

@PROCEEDINGS{jonsson92,
    BookTITLE={Protocol Specification, Testing, and Verification, {XI}},
    TITLE={Protocol Specification, Testing, and Verification, {XI}},
    EDITOR={B. Jonsson and J. Parrow and B. Pehrson},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1992}
}

@PROCEEDINGS{aggarwal88,
    BookTITLE={Protocol Specification, Testing, and Verification, {VIII}},
    TITLE={Protocol Specification, Testing, and Verification, {VIII}},
    EDITOR={Sudhir Aggarwal and Krishan Sabnani},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    COMMENT={PSTV'88, Atlantic City},
    YEAR={1988}
}

@PROCEEDINGS{brinksma90,
    BookTITLE={Protocol Specification, Testing, and Verification, {XI}},
    TITLE={Protocol Specification, Testing, and Verification, {XI}},
    EDITOR={Ed Brinksma, G. Scollo and Chris A. Vissers},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1990}
}

@PROCEEDINGS{rudin87,
    BookTITLE={Protocol Specification, Testing, and Verification, {VII}},
    TITLE={Protocol Specification, Testing, and Verification, {VII}},
    EDITOR={H. Rudin and C. H. West},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1987}
}

@PROCEEDINGS{diaz86,
    BookTITLE={Protocol Specification, Testing, and Verification, {V}},
    TITLE={Protocol Specification, Testing, and Verification, {V}},
    EDITOR={Michel Diaz},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1986}
}

@PROCEEDINGS{yemini85,
    BookTITLE={Protocol Specification, Testing, and Verification, {IV}},
    TITLE={Protocol Specification, Testing, and Verification, {IV}},
    EDITOR={Y. Yemini and R. Strom and S. Yemini},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1985}
}

@PROCEEDINGS{rudin83,
    BookTITLE={Protocol Specification, Testing, and Verification, {III}},
    TITLE={Protocol Specification, Testing, and Verification, {III}},
    EDITOR={H. Rudin and C. H. West},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1983},
}

@PROCEEDINGS{tienari92,
    BookTITLE={Information Network and Data Communication, {IV}},
    TITLE={Information Network and Data Communication, {IV}},
    EDITOR={Martti Tienari and Dipak Khakhar},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1992}
}

@PROCEEDINGS{csaba90,
    BookTITLE={Computer networking},
    TITLE={Computer networking},
    EDITOR={Laszlo Csaba and Tibor Szentivanyi and Katie Tarnay},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1990},
    NOTE={Proceedings of the IFIP TC 6 Conference on Computer
        Networking, COMNET '90, Budapest, Hungary, 8--10 May 1990}
}

@PROCEEDINGS{cosnard90,
    BookTITLE={Decentralized systems},
    TITLE={Decentralized systems},
    EDITOR={Michel Cosnard and Claude Girault},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1990},
    NOTE={Proceedings of the IFIP WG 10.3 Working Conference on
        Decentralized Systems, Lyon, France, 11--13 December 1989}
}

@PROCEEDINGS{agnew93,
    EDITOR={David Agnew and Luc Calaesen and Raul Camposano},
    BookTITLE={Computer Hardware Description Languages and Their
        Applications},
    TITLE={Computer Hardware Description Languages and Their
        Applications},
    SERIES={IFIP Transactions},
    NUMBER={A-32},
    ADDRESS={Amsterdam},
    PUBLISHER={Elsevier Science Publishers B. V. (North Holland)},
    YEAR={1993}
}

@PROCEEDINGS{sfbsir89,
    TITLE={S{\'e}minaire Franco-Br{\'e}silien sur les
        Syst{\`e}mes Informatiques R{\'e}partis},
    BOOKTITLE={S{\'e}minaire Franco-Br{\'e}silien sur les
        Syst{\`e}mes Informatiques R{\'e}partis},
    ADDRESS={Florian{\'o}polis-SC, Brazil},
    MONTH={11--14 sep},
    YEAR=1989
}