Search dblp for Publications

export results for "stream:streams/conf/ftrtft:"

 download as .bib file

@inproceedings{DBLP:conf/formats/AbdullaDMN04,
  author       = {Parosh Aziz Abdulla and
                  Johann Deneux and
                  Pritha Mahata and
                  Aletta Nyl{\'{e}}n},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Forward Reachability Analysis of Timed Petri Nets},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {343--362},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_24},
  doi          = {10.1007/978-3-540-30206-3\_24},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/AbdullaDMN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BernadskySA04,
  author       = {Mikhail Bernadsky and
                  Raman Sharykin and
                  Rajeev Alur},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Structured Modeling of Concurrent Stochastic Hybrid Systems},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {309--324},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_22},
  doi          = {10.1007/978-3-540-30206-3\_22},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/BernadskySA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BernardiDD04,
  author       = {Simona Bernardi and
                  Susanna Donatelli and
                  Giovanna Dondossola},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Towards a Methodological Approach to Specification and Analysis of
                  Dependable Automation Systems},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {36--51},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_5},
  doi          = {10.1007/978-3-540-30206-3\_5},
  timestamp    = {Mon, 12 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/BernardiDD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BrihayeBR04,
  author       = {Thomas Brihaye and
                  V{\'{e}}ronique Bruy{\`{e}}re and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Model-Checking for Weighted Timed Automata},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {277--292},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_20},
  doi          = {10.1007/978-3-540-30206-3\_20},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/BrihayeBR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/CottonAMN04,
  author       = {Scott Cotton and
                  Eugene Asarin and
                  Oded Maler and
                  Peter Niebert},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Some Progress in Satisfiability Checking for Difference Logic},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {263--276},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_19},
  doi          = {10.1007/978-3-540-30206-3\_19},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/CottonAMN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DSouzaT04,
  author       = {Deepak D'Souza and
                  Nicolas Tabareau},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {On Timed Automata with Input-Determined Guards},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {68--83},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_7},
  doi          = {10.1007/978-3-540-30206-3\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/DSouzaT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Dajani-BrownCB04,
  author       = {Samar Dajani{-}Brown and
                  Darren D. Cofer and
                  Amar Bouali},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Formal Verification of an Avionics Sensor Voter Using {SCADE}},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {5--20},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_3},
  doi          = {10.1007/978-3-540-30206-3\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/Dajani-BrownCB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DavorenMGCN04,
  author       = {Jennifer M. Davoren and
                  Thomas Moor and
                  Rajeev Gor{\'{e}} and
                  Vaughan Coulthard and
                  Anil Nerode},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {On Two-Sided Approximate Model-Checking: Problem Formulation and Solution
                  via Finite Topologies},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {52--67},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_6},
  doi          = {10.1007/978-3-540-30206-3\_6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/DavorenMGCN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DimaGS04,
  author       = {Catalin Dima and
                  Alain Girault and
                  Yves Sorel},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological"
                  Orders},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {215--230},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_16},
  doi          = {10.1007/978-3-540-30206-3\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/DimaGS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DutertreS04,
  author       = {Bruno Dutertre and
                  Maria Sorea},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol
                  Using Calendar Automata},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {199--214},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_15},
  doi          = {10.1007/978-3-540-30206-3\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/DutertreS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Feautrier04,
  author       = {Paul Feautrier},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {From Software to Hardware and Back},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_1},
  doi          = {10.1007/978-3-540-30206-3\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/Feautrier04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Fecher04,
  author       = {Harald Fecher},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {The Influence of Durational Actions on Time Equivalences},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {231--245},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_17},
  doi          = {10.1007/978-3-540-30206-3\_17},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/Fecher04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GartnerJ04,
  author       = {Felix C. G{\"{a}}rtner and
                  Arshad Jhumka},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed
                  Specifications},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {183--198},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_14},
  doi          = {10.1007/978-3-540-30206-3\_14},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/GartnerJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GernerD04,
  author       = {Philippe Gerner and
                  Thao Dang},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Computing Schedules for Multithreaded Real-Time Programs Using Geometry},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {325--342},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_23},
  doi          = {10.1007/978-3-540-30206-3\_23},
  timestamp    = {Wed, 04 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/GernerD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GrinchteinJL04,
  author       = {Olga Grinchtein and
                  Bengt Jonsson and
                  Martin Leucker},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Learning of Event-Recording Automata},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {379--396},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_26},
  doi          = {10.1007/978-3-540-30206-3\_26},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/GrinchteinJL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KaynarL04,
  author       = {Dilsun Kirli Kaynar and
                  Nancy A. Lynch},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Decomposing Verification of Timed {I/O} Automata},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {84--101},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_8},
  doi          = {10.1007/978-3-540-30206-3\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/KaynarL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KossentiniC04,
  author       = {Chiheb Kossentini and
                  Paul Caspi},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Mixed Delay and Threshold Voters in Critical Real-Time Systems},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {21--35},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_4},
  doi          = {10.1007/978-3-540-30206-3\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/KossentiniC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KrichenT04,
  author       = {Moez Krichen and
                  Stavros Tripakis},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Real-Time Testing with Timed Automata Testers and Coverage Criteria},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {134--151},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_11},
  doi          = {10.1007/978-3-540-30206-3\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/KrichenT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KwiatkowskaNSW04,
  author       = {Marta Z. Kwiatkowska and
                  Gethin Norman and
                  Jeremy Sproston and
                  Fuzhi Wang},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Symbolic Model Checking for Probabilistic Timed Automata},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {293--308},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_21},
  doi          = {10.1007/978-3-540-30206-3\_21},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/KwiatkowskaNSW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MalerN04,
  author       = {Oded Maler and
                  Dejan Nickovic},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Monitoring Temporal Properties of Continuous Signals},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {152--166},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_12},
  doi          = {10.1007/978-3-540-30206-3\_12},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/MalerN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MarkeyS04,
  author       = {Nicolas Markey and
                  Philippe Schnoebelen},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Symbolic Model Checking for Simply-Timed Systems},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {102--117},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_9},
  doi          = {10.1007/978-3-540-30206-3\_9},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/MarkeyS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MinerGPM04,
  author       = {Paul S. Miner and
                  Alfons Geser and
                  Lee Pike and
                  Jeffrey Maddalon},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {A Unified Fault-Tolerance Protocol},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {167--182},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_13},
  doi          = {10.1007/978-3-540-30206-3\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/MinerGPM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Ryan04,
  author       = {Peter Y. A. Ryan},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Of Elections and Electrons},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {3--4},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_2},
  doi          = {10.1007/978-3-540-30206-3\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/Ryan04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Sorea04,
  author       = {Maria Sorea},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Lazy Approximation for Dense Real-Time Systems},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {363--378},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_25},
  doi          = {10.1007/978-3-540-30206-3\_25},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/Sorea04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/WulfDMR04,
  author       = {Martin De Wulf and
                  Laurent Doyen and
                  Nicolas Markey and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Robustness and Implementability of Timed Automata},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {118--133},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_10},
  doi          = {10.1007/978-3-540-30206-3\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/WulfDMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/YuWH04,
  author       = {Fang Yu and
                  Bow{-}Yaw Wang and
                  Yao{-}Wen Huang},
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Bounded Model Checking for Region Automata},
  booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  pages        = {246--262},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30206-3\_18},
  doi          = {10.1007/978-3-540-30206-3\_18},
  timestamp    = {Thu, 30 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/YuWH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2004,
  editor       = {Yassine Lakhnech and
                  Sergio Yovine},
  title        = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
                  Systems, Joint International Conferences on Formal Modelling and Analysis
                  of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
                  and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
                  22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3253},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b100824},
  doi          = {10.1007/B100824},
  isbn         = {3-540-23167-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BehrmannBDLPY02,
  author       = {Gerd Behrmann and
                  Johan Bengtsson and
                  Alexandre David and
                  Kim Guldstrand Larsen and
                  Paul Pettersson and
                  Wang Yi},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {{UPPAAL} Implementation Secrets},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {3--22},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_1},
  doi          = {10.1007/3-540-45739-9\_1},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BehrmannBDLPY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BouajjaniM02,
  author       = {Ahmed Bouajjani and
                  Agathe Merceron},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Parametric Verification of a Group Membership Algorithm},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {311--330},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_19},
  doi          = {10.1007/3-540-45739-9\_19},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BouajjaniM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Buttazzo02,
  author       = {Giorgio C. Buttazzo},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Real-Time Operating Systems: Problems and Novel Solutions},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {37--52},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_3},
  doi          = {10.1007/3-540-45739-9\_3},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Buttazzo02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DammJ02,
  author       = {Werner Damm and
                  Bengt Jonsson},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Eliminating Queues from {RT} {UML} Model Representations},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {375--394},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_22},
  doi          = {10.1007/3-540-45739-9\_22},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/DammJ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DierksL02,
  author       = {Henning Dierks and
                  Marc Lettrari},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Constructing Test Automata from Graphical Real-Time Requirements},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {433--454},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_25},
  doi          = {10.1007/3-540-45739-9\_25},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/DierksL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Douglass02,
  author       = {Bruce Powel Douglass},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Real-Time {UML}},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {53--70},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_4},
  doi          = {10.1007/3-540-45739-9\_4},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Douglass02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Franzle02,
  author       = {Martin Fr{\"{a}}nzle},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Take It NP-Easy: Bounded Model Construction for Duration Calculus},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {245--264},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_16},
  doi          = {10.1007/3-540-45739-9\_16},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Franzle02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JansenHK02,
  author       = {David N. Jansen and
                  Holger Hermanns and
                  Joost{-}Pieter Katoen},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {A Probabilistic Extension of {UML} Statecharts},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {355--374},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_21},
  doi          = {10.1007/3-540-45739-9\_21},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/JansenHK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JhumkaHS02,
  author       = {Arshad Jhumka and
                  Martin Hiller and
                  Neeraj Suri},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Component-Based Synthesis of Dependable Embedded Software},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {111--128},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_9},
  doi          = {10.1007/3-540-45739-9\_9},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/JhumkaHS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Khoumsi02,
  author       = {Ahmed Khoumsi},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {A Method for Testing the Conformance of Real Time Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {331--354},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_20},
  doi          = {10.1007/3-540-45739-9\_20},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Khoumsi02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KnappMR02,
  author       = {Alexander Knapp and
                  Stephan Merz and
                  Christopher Rauh},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Model Checking - Timed {UML} State Machines and Collaborations},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {395--416},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_23},
  doi          = {10.1007/3-540-45739-9\_23},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/KnappMR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KozenS02,
  author       = {Dexter Kozen and
                  Matthew Stillerman},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Eager Class Initialization for Java},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {71--80},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_5},
  doi          = {10.1007/3-540-45739-9\_5},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/KozenS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LohrC02,
  author       = {Christophe Lohr and
                  Jean{-}Pierre Courtiat},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {From the Specification to the Scheduling of Time-Dependent Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {129--146},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_10},
  doi          = {10.1007/3-540-45739-9\_10},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/LohrC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MalerKM02,
  author       = {Oded Maler and
                  Bruce H. Krogh and
                  Moez Mahfoudh},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {On Control with Bounded Computational Resources},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {147--164},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_11},
  doi          = {10.1007/3-540-45739-9\_11},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/MalerKM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/McDermid02,
  author       = {John Alexander McDermid},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Software Hazard and Safety Analysis},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {23--36},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_2},
  doi          = {10.1007/3-540-45739-9\_2},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/McDermid02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/NiebertMABMJ02,
  author       = {Peter Niebert and
                  Moez Mahfoudh and
                  Eugene Asarin and
                  Marius Bozga and
                  Oded Maler and
                  Navendu Jain},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Verification of Timed Automata via Satisfiability Checking},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {225--244},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_15},
  doi          = {10.1007/3-540-45739-9\_15},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/NiebertMABMJ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PalsbergM02,
  author       = {Jens Palsberg and
                  Di Ma},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {A Typed Interrupt Calculus},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {291--310},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_18},
  doi          = {10.1007/3-540-45739-9\_18},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/PalsbergM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PenczekWZ02,
  author       = {Wojciech Penczek and
                  Bozena Wozna and
                  Andrzej Zbrzezny},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Towards Bounded Model Checking for the Universal Fragment of {TCTL}},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {265--290},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_17},
  doi          = {10.1007/3-540-45739-9\_17},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/PenczekWZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Pnueli02,
  author       = {Amir Pnueli},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Applications of Formal Methods in Biology},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {81--82},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_6},
  doi          = {10.1007/3-540-45739-9\_6},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Pnueli02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Rushby02,
  author       = {John M. Rushby},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {An Overview of Formal Verification for the Time-Triggered Architecture},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {83--106},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_7},
  doi          = {10.1007/3-540-45739-9\_7},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Rushby02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Sifakis02,
  author       = {Joseph Sifakis},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Scheduler Modeling Based on the Controller Synthesis Paradigm},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {107--110},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_8},
  doi          = {10.1007/3-540-45739-9\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Sifakis02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Tripakis02,
  author       = {Stavros Tripakis},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Fault Diagnosis for Timed Automata},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {205--224},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_14},
  doi          = {10.1007/3-540-45739-9\_14},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Tripakis02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/VilasAR02,
  author       = {Ana Fern{\'{a}}ndez Vilas and
                  Jos{\'{e}} Juan Pazos{-}Arias and
                  Rebeca P. D{\'{\i}}az Redondo},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {185--204},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_13},
  doi          = {10.1007/3-540-45739-9\_13},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/VilasAR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/YamamotoCH02,
  author       = {Mitsuharu Yamamoto and
                  Jean{-}Marie Cottin and
                  Masami Hagiya},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Decidability of Safety Properties of Timed Multiset Rewriting},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {165--184},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_12},
  doi          = {10.1007/3-540-45739-9\_12},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/YamamotoCH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ZhaoXXTG02,
  author       = {Jianhua Zhao and
                  He Xu and
                  Xuandong Li and
                  Tao Zheng and
                  Guoliang Zheng},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Partial Order Path Technique for Checking Parallel Timed Automata},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {417--432},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_24},
  doi          = {10.1007/3-540-45739-9\_24},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/ZhaoXXTG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/2002,
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9},
  doi          = {10.1007/3-540-45739-9},
  isbn         = {3-540-44165-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/AdlaideR00,
  author       = {Micha{\"{e}}l Ad{\'{e}}la{\"{\i}}de and
                  Olivier F. Roux},
  editor       = {Mathai Joseph},
  title        = {Using Cylindrical Algebraic Decomposition for the Analysis of Slope
                  Parametric Hybrid Automata},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {252--263},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_21},
  doi          = {10.1007/3-540-45352-0\_21},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/AdlaideR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/AltisenGS00,
  author       = {Karine Altisen and
                  Gregor G{\"{o}}{\ss}ler and
                  Joseph Sifakis},
  editor       = {Mathai Joseph},
  title        = {A Methodology for the Construction of Scheduled Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {106--120},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_11},
  doi          = {10.1007/3-540-45352-0\_11},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/AltisenGS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BackPP00,
  author       = {Ralph{-}Johan Back and
                  Luigia Petre and
                  Ivan Porres},
  editor       = {Mathai Joseph},
  title        = {Generalizing Action Systems to Hybrid Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {202--213},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_17},
  doi          = {10.1007/3-540-45352-0\_17},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BackPP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BaukusLS00,
  author       = {Kai Baukus and
                  Yassine Lakhnech and
                  Karsten Stahl},
  editor       = {Mathai Joseph},
  title        = {Verifying Universal Properties of Parameterized Networks},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {291--303},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_24},
  doi          = {10.1007/3-540-45352-0\_24},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BaukusLS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BhattacharjeeSDKRS00,
  author       = {A. K. Bhattacharjee and
                  Gopa Sen and
                  S. D. Dhodapkar and
                  Kundapur Karunakar and
                  Basant Rajan and
                  R. K. Shyamasundar},
  editor       = {Mathai Joseph},
  title        = {A System for Object Code Validation},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {152--169},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_14},
  doi          = {10.1007/3-540-45352-0\_14},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BhattacharjeeSDKRS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Breitling00,
  author       = {Max Breitling},
  editor       = {Mathai Joseph},
  title        = {Modeling Faults of Distributed, Reactive Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {58--69},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_7},
  doi          = {10.1007/3-540-45352-0\_7},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Breitling00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/CaspiS00,
  author       = {Paul Caspi and
                  Rym Salem},
  editor       = {Mathai Joseph},
  title        = {Threshold and Bounded-Delay Voting in Critical Control Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {70--81},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_8},
  doi          = {10.1007/3-540-45352-0\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/CaspiS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DSouza00,
  author       = {Deepak D'Souza},
  editor       = {Mathai Joseph},
  title        = {A Logical Characterisation of Event Recording Automata},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {240--251},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_20},
  doi          = {10.1007/3-540-45352-0\_20},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/DSouza00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Damm00,
  author       = {Werner Damm},
  editor       = {Mathai Joseph},
  title        = {Challenges in the Verification of Electronic Control Units},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {18},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_3},
  doi          = {10.1007/3-540-45352-0\_3},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Damm00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/GeilenD00,
  author       = {Marc Geilen and
                  Dennis Dams},
  editor       = {Mathai Joseph},
  title        = {An On-the-Fly Tableau Construction for a Real-Time Temporal Logic},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {276--290},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_23},
  doi          = {10.1007/3-540-45352-0\_23},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/GeilenD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Guelev00,
  author       = {Dimitar P. Guelev},
  editor       = {Mathai Joseph},
  title        = {Probabilistic Neighbourhood Logic},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {264--275},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_22},
  doi          = {10.1007/3-540-45352-0\_22},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Guelev00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HalbwachsHLN00,
  author       = {Nicolas Halbwachs and
                  J.{-}F. H{\'{e}}ry and
                  J.{-}C. Laleuf and
                  Xavier Nicollin},
  editor       = {Mathai Joseph},
  title        = {Stability of Discrete Sampled Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_1},
  doi          = {10.1007/3-540-45352-0\_1},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/HalbwachsHLN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HanssonNP00,
  author       = {Hans Hansson and
                  Christer Norstr{\"{o}}m and
                  Sasikumar Punnekkat},
  editor       = {Mathai Joseph},
  title        = {Reliability Modelling of Time-Critical Distributed Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {94--105},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_10},
  doi          = {10.1007/3-540-45352-0\_10},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/HanssonNP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Hayes00,
  author       = {Ian J. Hayes},
  editor       = {Mathai Joseph},
  title        = {Real-Time Program Refinement Using Auxiliary Variables},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {170--184},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_15},
  doi          = {10.1007/3-540-45352-0\_15},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Hayes00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Holenderski00,
  author       = {Leszek Holenderski},
  editor       = {Mathai Joseph},
  title        = {Compositional Verification of Synchronous Networks},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {214--227},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_18},
  doi          = {10.1007/3-540-45352-0\_18},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Holenderski00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JensenLS00,
  author       = {Henrik Ejersbo Jensen and
                  Kim Guldstrand Larsen and
                  Arne Skou},
  editor       = {Mathai Joseph},
  title        = {Scaling up Uppaal Automatic Verification of Real-Time Systems Using
                  Compositionality and Abstraction},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {19--30},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_4},
  doi          = {10.1007/3-540-45352-0\_4},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/JensenLS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KulkarniA00,
  author       = {Sandeep S. Kulkarni and
                  Anish Arora},
  editor       = {Mathai Joseph},
  title        = {Automating the Addition of Fault-Tolerance},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {82--93},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_9},
  doi          = {10.1007/3-540-45352-0\_9},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/KulkarniA00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LanoCAK00,
  author       = {Kevin Lano and
                  David Clark and
                  Kelly Androutsopoulos and
                  Pauline Kan},
  editor       = {Mathai Joseph},
  title        = {Invariant-Based Synthesis of Fault-Tolerant Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {46--57},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_6},
  doi          = {10.1007/3-540-45352-0\_6},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/LanoCAK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MeydenM00,
  author       = {Ron van der Meyden and
                  Yoram Moses},
  editor       = {Mathai Joseph},
  title        = {On Refinement and Temporal Annotations},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {185--201},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_16},
  doi          = {10.1007/3-540-45352-0\_16},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/MeydenM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Moses00,
  author       = {Yoram Moses},
  editor       = {Mathai Joseph},
  title        = {Issues in the Refinement of Distributed Programs},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {12--17},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_2},
  doi          = {10.1007/3-540-45352-0\_2},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Moses00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Sproston00,
  author       = {Jeremy Sproston},
  editor       = {Mathai Joseph},
  title        = {Decidable Model Checking of Probabilistic Hybrid Automata},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {31--45},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_5},
  doi          = {10.1007/3-540-45352-0\_5},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Sproston00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SubramaniA00,
  author       = {K. Subramani and
                  Ashok K. Agrawala},
  editor       = {Mathai Joseph},
  title        = {A Dual Interpretation of "Standard Constraints" in Parametric Scheduling},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {121--133},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_12},
  doi          = {10.1007/3-540-45352-0\_12},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/SubramaniA00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/TudoretNBS00,
  author       = {St{\'{e}}phane Tudoret and
                  Simin Nadjm{-}Tehrani and
                  Albert Beneviste and
                  Jan{-}Erik Str{\"{o}}mberg},
  editor       = {Mathai Joseph},
  title        = {Co-simulation of Hybrid Systems: Signal-Simulink},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {134--151},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_13},
  doi          = {10.1007/3-540-45352-0\_13},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/TudoretNBS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/VeloudisN00,
  author       = {Simeon Veloudis and
                  Nimal Nissanke},
  editor       = {Mathai Joseph},
  title        = {Modelling Coordinated Atomic Actions in Timed {CSP}},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  pages        = {228--239},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0\_19},
  doi          = {10.1007/3-540-45352-0\_19},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/VeloudisN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/2000,
  editor       = {Mathai Joseph},
  title        = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
                  Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1926},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45352-0},
  doi          = {10.1007/3-540-45352-0},
  isbn         = {3-540-41055-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BosnackiD98,
  author       = {Dragan Bosnacki and
                  Dennis Dams},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Discrete-Time Promela and Spin},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {307--310},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055359},
  doi          = {10.1007/BFB0055359},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BosnackiD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BozgaDMOTY98,
  author       = {Marius Bozga and
                  Conrado Daws and
                  Oded Maler and
                  Alfredo Olivero and
                  Stavros Tripakis and
                  Sergio Yovine},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {{KRONOS:} {A} Model-Checking Tool for Real-Time Systems (Tool-Presentation
                  for {FTRTFT} '98)},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {298--302},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055357},
  doi          = {10.1007/BFB0055357},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BozgaDMOTY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Cardell-OliverG98,
  author       = {Rachel Cardell{-}Oliver and
                  Tim Glover},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {A Practical and Complete Algorithm for Testing Real-Time Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {251--261},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055352},
  doi          = {10.1007/BFB0055352},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Cardell-OliverG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/CauCZ98,
  author       = {Antonio Cau and
                  Chris Czarnecki and
                  Hussein Zedan},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Designing a Provably Correct Robot Control System Using a 'Lean' Formal
                  Method},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {123--132},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055342},
  doi          = {10.1007/BFB0055342},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/CauCZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Coen-PorisiniPP98,
  author       = {Alberto Coen{-}Porisini and
                  Matteo Pradella and
                  Pierluigi {San Pietro}},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {A Finite-Domain Semantics for Testing Temporal Logic Specifications},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {41--54},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055335},
  doi          = {10.1007/BFB0055335},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Coen-PorisiniPP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DierksFMV98,
  author       = {Henning Dierks and
                  Ansgar Fehnker and
                  Angelika Mader and
                  Frits W. Vaandrager},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Operational and Logical Semantics for Polling Real-Time Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {29--40},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055334},
  doi          = {10.1007/BFB0055334},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/DierksFMV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/FranzleL98,
  author       = {Martin Fr{\"{a}}nzle and
                  Karsten L{\"{u}}th},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Compiling Graphical Real-Time Specifications into Silicon},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {272--281},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055354},
  doi          = {10.1007/BFB0055354},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/FranzleL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/GotzheinKP98,
  author       = {Reinhard Gotzhein and
                  Martin Kronenburg and
                  Christian Peper},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Reuse in Requirements Engineering: Discovery and Application of a
                  Real-Time Requirement Pattern},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {65--74},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055337},
  doi          = {10.1007/BFB0055337},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/GotzheinKP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/GrosuSB98,
  author       = {Radu Grosu and
                  Thomas Stauner and
                  Manfred Broy},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {A Modular Visual Model for Hybrid Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {75--91},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055338},
  doi          = {10.1007/BFB0055338},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/GrosuSB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Heitmeyer98,
  author       = {Constance L. Heitmeyer},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {On the Need for Practical Formal Methods},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {18--26},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055332},
  doi          = {10.1007/BFB0055332},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Heitmeyer98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JianhuaH98,
  author       = {Jianhua Zhao and
                  Dang Van Hung},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {On Checking Parallel Real-Time Systems for Linear Duration Properties},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {241--250},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055351},
  doi          = {10.1007/BFB0055351},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/JianhuaH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Knight98,
  author       = {John C. Knight},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Challenges in the Utilization of Formal Methods},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055331},
  doi          = {10.1007/BFB0055331},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Knight98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Lann98,
  author       = {G{\'{e}}rard Le Lann},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Predictability in Critical Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {315--338},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055361},
  doi          = {10.1007/BFB0055361},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Lann98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Luth98,
  author       = {Karsten L{\"{u}}th},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {The {ICOS} Synthesis Environment},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {294--297},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055356},
  doi          = {10.1007/BFB0055356},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Luth98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MarreroSCM98,
  author       = {Mario Marrero and
                  {\'{A}}lvaro Su{\'{a}}rez Sarmiento and
                  Elena Carri{\'{o}}n and
                  Elsa M. Mac{\'{\i}}as},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {{SGLOT:} {A} Visual Tool for Structural {LOTOS} Specifications},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {303--306},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055358},
  doi          = {10.1007/BFB0055358},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/MarreroSCM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PandyaH98,
  author       = {Paritosh K. Pandya and
                  Dang Van Hung},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Duration Calculus of Weakly Monotonic Time},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {55--64},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055336},
  doi          = {10.1007/BFB0055336},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/PandyaH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ParkSD98,
  author       = {David Y. W. Park and
                  Jens U. Skakkeb{\ae}k and
                  David L. Dill},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Static Analysis to Identify Invariants in {RSML} Specifications},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {133--142},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055343},
  doi          = {10.1007/BFB0055343},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/ParkSD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PnueliSS98,
  author       = {Amir Pnueli and
                  Natarajan Shankar and
                  Eli Singerman},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Fair Synchronous Transition Systems and Their Liveness Proofs},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {198--209},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055348},
  doi          = {10.1007/BFB0055348},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/PnueliSS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PoelZ98,
  author       = {Mannes Poel and
                  Job Zwiers},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Synchronizing Clocked Transition Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {173--185},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055346},
  doi          = {10.1007/BFB0055346},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/PoelZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PreussigKWH98,
  author       = {J{\"{o}}rg Preu{\ss}ig and
                  Stefan Kowalewski and
                  Howard Wong{-}Toi and
                  Thomas A. Henzinger},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {An Algorithm for the Approximative Analysis of Rectangular Automata},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {228--240},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055350},
  doi          = {10.1007/BFB0055350},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/PreussigKWH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PriddinB98,
  author       = {Darren George Priddin and
                  Alan Burns},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Integrating Real-Time Structured Design and Formal Techniques},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {92--102},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055339},
  doi          = {10.1007/BFB0055339},
  timestamp    = {Thu, 17 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/PriddinB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Puri98,
  author       = {Anuj Puri},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Dynamical Properties of Timed Automata},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {210--227},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055349},
  doi          = {10.1007/BFB0055349},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Puri98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SatpathyHP98,
  author       = {Manoranjan Satpathy and
                  Dang Van Hung and
                  Paritosh K. Pandya},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Some Decidability Results for Duration Calculus under Synchronous
                  Interpretation},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {186--197},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055347},
  doi          = {10.1007/BFB0055347},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/SatpathyHP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SchneiderX98,
  author       = {Gerardo Schneider and
                  Qiwen Xu},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Towards a Formal Semantics of Verilog Using Duration Calculus},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {282--293},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055355},
  doi          = {10.1007/BFB0055355},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/SchneiderX98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SchwierH98,
  author       = {Detlef Schwier and
                  Friedrich W. von Henke},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Mechanical Verification of Clock Synchronization Algorithms},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {262--271},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055353},
  doi          = {10.1007/BFB0055353},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/SchwierH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Siegel98,
  author       = {Michael Siegel},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Formal Verification of Stabilizing Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {158--172},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055345},
  doi          = {10.1007/BFB0055345},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Siegel98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Sifakis98,
  author       = {Joseph Sifakis},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {A General Framework for the Composition of Timed Systems Extended
                  Abstract},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {27--28},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055333},
  doi          = {10.1007/BFB0055333},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Sifakis98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SpelbergTA98,
  author       = {Ronald F. Lutje Spelberg and
                  Hans Toetenel and
                  Marcel Ammerlaan},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Partition Refinement in Real-Time Model Checking},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {143--157},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055344},
  doi          = {10.1007/BFB0055344},
  timestamp    = {Tue, 07 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/SpelbergTA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/StollerS98,
  author       = {Scott D. Stoller and
                  Fred B. Schneider},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Automated Stream-Based Analysis of Fault-Tolerance},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {113--122},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055341},
  doi          = {10.1007/BFB0055341},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/StollerS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/TapkenD98,
  author       = {Josef Tapken and
                  Henning Dierks},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {{MOBY/PLC} - Graphical Development of PLC-Automata},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {311--314},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055360},
  doi          = {10.1007/BFB0055360},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/TapkenD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/VeloudisN98,
  author       = {Simeon Veloudis and
                  Nimal Nissanke},
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Duration Calculus in the Specification of Safety Requirements},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  pages        = {103--112},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055340},
  doi          = {10.1007/BFB0055340},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/VeloudisN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1998,
  editor       = {Anders P. Ravn and
                  Hans Rischel},
  title        = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
                  Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1486},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055330},
  doi          = {10.1007/BFB0055330},
  isbn         = {3-540-65003-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/AmadioD96,
  author       = {Roberto M. Amadio and
                  Mads Dam},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Toward a Modal Theory of Types for the pi-Calculus},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {347--365},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_50},
  doi          = {10.1007/3-540-61648-9\_50},
  timestamp    = {Tue, 31 Aug 2021 12:07:12 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/AmadioD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BawaE96,
  author       = {Rajesh K. Bawa and
                  Emmanuelle Encrenaz},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {A Tool for Translation of {VHDL} Descriptions into a Formal Model
                  and its Application to Formal Verification and Synthesis},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {471--474},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_59},
  doi          = {10.1007/3-540-61648-9\_59},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BawaE96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BiehlKR96,
  author       = {Morten Biehl and
                  Nils Klarlund and
                  Theis Rauhe},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Mona: Decidable Arithmetic in Practice},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {459--462},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_56},
  doi          = {10.1007/3-540-61648-9\_56},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BiehlKR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BoerTRH96,
  author       = {Frank S. de Boer and
                  H. Tej and
                  Willem P. de Roever and
                  M. van Hulst},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Compositionality in Real-Time Shared Variable Concurrency},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {420--439},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_54},
  doi          = {10.1007/3-540-61648-9\_54},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BoerTRH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BouajjaniLY96,
  author       = {Ahmed Bouajjani and
                  Yassine Lakhnech and
                  Sergio Yovine},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Model-Checking for Extended Timed Temporal Logics},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {306--326},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_48},
  doi          = {10.1007/3-540-61648-9\_48},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BouajjaniLY96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BoualiMST96,
  author       = {Amar Bouali and
                  Jean{-}Paul Marmorat and
                  Robert de Simone and
                  Horia Toma},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Verifying Synchronous Reactive Systems Programmed in {ESTEREL}},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {463--466},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_57},
  doi          = {10.1007/3-540-61648-9\_57},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BoualiMST96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ChoquetGC96,
  author       = {Annie Choquet and
                  Dominique Geniet and
                  Francis Cottet},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Exhaustive Computation of the Scheduled Task Execution Sequences of
                  a Real-Time Application},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {246--262},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_44},
  doi          = {10.1007/3-540-61648-9\_44},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/ChoquetGC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Cristian96,
  author       = {Flaviu Cristian},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {On the Semantics of Group Communication},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_31},
  doi          = {10.1007/3-540-61648-9\_31},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Cristian96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DArgenioB96,
  author       = {Pedro R. D'Argenio and
                  Ed Brinksma},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {A Calculus for Timed Automata},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {110--129},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_37},
  doi          = {10.1007/3-540-61648-9\_37},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/DArgenioB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DavoliTG96,
  author       = {Renzo Davoli and
                  Fabio Tamburini and
                  Luigi{-}Alberto Giachini},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Scheduling Data Flow Programs in Hard Real-Time Environments},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {263--278},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_45},
  doi          = {10.1007/3-540-61648-9\_45},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/DavoliTG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Dierks96,
  author       = {Henning Dierks},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {The Production Cell: {A} Verified Real-Time System},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {208--227},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_42},
  doi          = {10.1007/3-540-61648-9\_42},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Dierks96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Dietz96,
  author       = {Cheryl Dietz},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Graphical Formalization of Real-Time Requirements},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {366--384},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_51},
  doi          = {10.1007/3-540-61648-9\_51},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Dietz96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/FowlerW96,
  author       = {Simon Fowler and
                  Andy J. Wellings},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Formal Analysis of a Real-Time Kernel Specification},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {440--458},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_55},
  doi          = {10.1007/3-540-61648-9\_55},
  timestamp    = {Thu, 23 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/FowlerW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Franzle96,
  author       = {Martin Fr{\"{a}}nzle},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Synthesizing Controllers from Duration Calculus},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {168--187},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_40},
  doi          = {10.1007/3-540-61648-9\_40},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Franzle96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Holzmann96,
  author       = {Gerard J. Holzmann},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Formal Methods for Early Fault Detection},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {40--54},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_33},
  doi          = {10.1007/3-540-61648-9\_33},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Holzmann96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HuberSSS96,
  author       = {Franz Huber and
                  Bernhard Sch{\"{a}}tz and
                  Alexander Schmidt and
                  Katharina Spies},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {AutoFocus: {A} Tool for Distributed Systems Specification},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {467--470},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_58},
  doi          = {10.1007/3-540-61648-9\_58},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/HuberSSS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HungG96,
  author       = {Dang Van Hung and
                  Phan Hong Giang},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Sampling Semantics of Duration Calculus},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {188--207},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_41},
  doi          = {10.1007/3-540-61648-9\_41},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/HungG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JankowskiJ96,
  author       = {Tomasz Janowski and
                  Mathai Joseph},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Dynamic Scheduling in the Presence of Faults: Specification and Verification},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {279--297},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_46},
  doi          = {10.1007/3-540-61648-9\_46},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/JankowskiJ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KarsistoV96,
  author       = {Konsta Karsisto and
                  Antti Valmari},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Verification-Driven Development of a Collision-Avoidance Protocol
                  for the Ethernet},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {228--245},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_43},
  doi          = {10.1007/3-540-61648-9\_43},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/KarsistoV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KatoenLLB96,
  author       = {Joost{-}Pieter Katoen and
                  Rom Langerak and
                  Diego Latella and
                  Ed Brinksma},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {On Specifying Real-Time Systems in a Causality-Based Setting},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {385--404},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_52},
  doi          = {10.1007/3-540-61648-9\_52},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/KatoenLLB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Maggiolo-SchettiniP96,
  author       = {Andrea Maggiolo{-}Schettini and
                  Adriano Peron},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Retiming Techniques for Statecharts},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {55--71},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_34},
  doi          = {10.1007/3-540-61648-9\_34},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Maggiolo-SchettiniP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MaraninchiH96,
  author       = {Florence Maraninchi and
                  Nicolas Halbwachs},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Compiling {ARGOS} into Boolean Equations},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {72--89},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_35},
  doi          = {10.1007/3-540-61648-9\_35},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/MaraninchiH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MarreroS96,
  author       = {Mario Marrero and
                  {\'{A}}lvaro Su{\'{a}}rez Sarmiento},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {{EVGC:} {A} Tool for Visualizing {LOTOS} Behavioural Specifications},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {475--478},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_60},
  doi          = {10.1007/3-540-61648-9\_60},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/MarreroS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MeiIS96,
  author       = {Aohan Mei and
                  Yoshihide Igarashi and
                  Naoki Shimizu},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Efficient Broadcasting on Faulty Star Networks},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {298--305},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_47},
  doi          = {10.1007/3-540-61648-9\_47},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/MeiIS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Pagani96,
  author       = {Florence Pagani},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Partial Orders and Verification of Real-Time systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {327--346},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_49},
  doi          = {10.1007/3-540-61648-9\_49},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Pagani96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Pandya96,
  author       = {Paritosh K. Pandya},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Weak Chop Inverses and Liveness in Mean-Value Calculus},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {148--167},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_39},
  doi          = {10.1007/3-540-61648-9\_39},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Pandya96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Paynter96,
  author       = {Stephen Paynter},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Real-Time Mode-Machines},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {90--109},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_36},
  doi          = {10.1007/3-540-61648-9\_36},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Paynter96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Shankar96,
  author       = {Natarajan Shankar},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Unifying Verification Paradigms},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {22--39},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_32},
  doi          = {10.1007/3-540-61648-9\_32},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Shankar96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SpringintveldV96,
  author       = {Jan Springintveld and
                  Frits W. Vaandrager},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Minimizable Timed Automata},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {130--147},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_38},
  doi          = {10.1007/3-540-61648-9\_38},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/SpringintveldV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/WestheadN96,
  author       = {Martin Westhead and
                  Simin Nadjm{-}Tehrani},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Verification of Embedded Systems Using Synchronous Observers},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {405--419},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_53},
  doi          = {10.1007/3-540-61648-9\_53},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/WestheadN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1996,
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9},
  doi          = {10.1007/3-540-61648-9},
  isbn         = {3-540-61648-9},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Arora94,
  author       = {Anish Arora},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Efficient Reconfiguration of Trees: {A} Case Study in Methodical Design
                  of Nonmasking Fault-Tolerant Programs},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {110--127},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_162},
  doi          = {10.1007/3-540-58468-4\_162},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Arora94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Beeck94,
  author       = {Michael von der Beeck},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {A Comparison of Statecharts Variants},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {128--148},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_163},
  doi          = {10.1007/3-540-58468-4\_163},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Beeck94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BenvenisteLFG94,
  author       = {Albert Benveniste and
                  Bernard C. Levy and
                  Eric Fabre and
                  Paul {Le Guernic}},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {A Calculus of Stochastic Systems for the Specification, Simulation,
                  And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {149--169},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_164},
  doi          = {10.1007/3-540-58468-4\_164},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BenvenisteLFG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BosscherPV94,
  author       = {Doeko Bosscher and
                  Indra Polak and
                  Frits W. Vaandrager},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Verification of an Audio Control Protocol},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {170--192},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_165},
  doi          = {10.1007/3-540-58468-4\_165},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BosscherPV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BouajjaniER94,
  author       = {Ahmed Bouajjani and
                  Rachid Echahed and
                  Riadh Robbana},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Verfying Invariance Properties of Timed Systems with Duration Variables},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {193--210},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_166},
  doi          = {10.1007/3-540-58468-4\_166},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BouajjaniER94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BouchenebB94,
  author       = {Hanifa Boucheneb and
                  G{\'{e}}rard Berthelot},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Predicting Logical and Temporal Properties of Real-Time Systems Using
                  Synchronized Elementary Nets},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {211--227},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_167},
  doi          = {10.1007/3-540-58468-4\_167},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BouchenebB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BradleyHKR94,
  author       = {Steven Bradley and
                  William Henderson and
                  David Kendall and
                  Adrian Robson},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Designing and Implementing Correct Real-Time Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {228--246},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_168},
  doi          = {10.1007/3-540-58468-4\_168},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BradleyHKR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BroyS94,
  author       = {Manfred Broy and
                  Ketil St{\o}len},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Specification and Refinement of Finite Dataflow Networks - a Relational
                  Approach},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {247--267},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_169},
  doi          = {10.1007/3-540-58468-4\_169},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BroyS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/FixS94,
  author       = {Limor Fix and
                  Fred B. Schneider},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Hybrid Verification by Exploiting the Environment},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_157},
  doi          = {10.1007/3-540-58468-4\_157},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/FixS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/GafniYF94,
  author       = {Vered Gafni and
                  Amiram Yehudai and
                  Yishai A. Feldman},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Activation-Oriented Specification of Real-Time Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {268--287},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_170},
  doi          = {10.1007/3-540-58468-4\_170},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/GafniYF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HenzingerK94,
  author       = {Thomas A. Henzinger and
                  Peter W. Kopke},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Verification Methods for the Divergent Runs of Clock Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {351--372},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_173},
  doi          = {10.1007/3-540-58468-4\_173},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/HenzingerK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Hooman94,
  author       = {Jozef Hooman},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Correctness of Real Time Systems by Construction},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {19--40},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_158},
  doi          = {10.1007/3-540-58468-4\_158},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Hooman94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Horcher94,
  author       = {Hans{-}Martin H{\"{o}}rcher},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {The {DST} Z-Tools},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {778},
  publisher    = {Springer},
  year         = {1994},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Horcher94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HorcherS94,
  author       = {Hans{-}Martin H{\"{o}}rcher and
                  Uwe Schmidt},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {The {VDM} Domain Compiler},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {779},
  publisher    = {Springer},
  year         = {1994},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/HorcherS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ITEX-DE94,
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {{ITEX-DE:} {A} {TTCN} Development Environment},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {784},
  publisher    = {Springer},
  year         = {1994},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/ITEX-DE94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Janowski94,
  author       = {Tomasz Janowski},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Fault-Tolerant Bisimulation and Process Tranformations},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {373--392},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_174},
  doi          = {10.1007/3-540-58468-4\_174},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Janowski94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JanssenPXZ94,
  author       = {Wil Janssen and
                  Mannes Poel and
                  Qiwen Xu and
                  Job Zwiers},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Layering of Real-Time Distributed Processes},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {393--417},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_175},
  doi          = {10.1007/3-540-58468-4\_175},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/JanssenPXZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JifengHFMOSHRR94,
  author       = {Jifeng He and
                  C. A. R. Hoare and
                  Martin Fr{\"{a}}nzle and
                  Markus M{\"{u}}ller{-}Olm and
                  Ernst{-}R{\"{u}}diger Olderog and
                  Michael Schenke and
                  Michael R. Hansen and
                  Anders P. Ravn and
                  Hans Rischel},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Provably Correct Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {288--335},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_171},
  doi          = {10.1007/3-540-58468-4\_171},
  timestamp    = {Mon, 21 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/JifengHFMOSHRR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JifengJ94,
  author       = {Jifeng He and
                  Jianping Zheng},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Simulation Approach to Provably Correct Hardware Compilation},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {336--350},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_172},
  doi          = {10.1007/3-540-58468-4\_172},
  timestamp    = {Mon, 21 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/JifengJ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JonssonHW94,
  author       = {Bengt Jonsson and
                  Chris Ho{-}Stuart and
                  Wang Yi},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Testing and Refinement for Nondeterministic and Probabilistic Processes},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {418--430},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_176},
  doi          = {10.1007/3-540-58468-4\_176},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/JonssonHW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KapurHMP94,
  author       = {Arjun Kapur and
                  Thomas A. Henzinger and
                  Zohar Manna and
                  Amir Pnueli},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Prooving Safety Properties of Hybrid Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {431--454},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_177},
  doi          = {10.1007/3-540-58468-4\_177},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/KapurHMP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KauflK94,
  author       = {Thomas K{\"{a}}ufl and
                  Stefan Klingenbeck},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Tatzelwurm},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {786},
  publisher    = {Springer},
  year         = {1994},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/KauflK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KearneyU94,
  author       = {Peter Kearney and
                  Mark Utting},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {A Layered Real-Time Specification of a {RISC} Processor},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {455--475},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_178},
  doi          = {10.1007/3-540-58468-4\_178},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/KearneyU94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KishoreMAMG94,
  author       = {J. K. Kishore and
                  R. S. Manjunatha and
                  V. K. Agrawal and
                  N. K. Malik and
                  Prem Shankar Goel},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {A Real Time Fault Tolerant Microprocessor Based On-Board Computer
                  System for {INSAT-2} Spacecraft},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {476--487},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_179},
  doi          = {10.1007/3-540-58468-4\_179},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/KishoreMAMG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LakhnecheH94,
  author       = {Yassine Lakhnech and
                  Jozef Hooman},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Reasoning about Durations in Metric Temporal Logic},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {488--510},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_180},
  doi          = {10.1007/3-540-58468-4\_180},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/LakhnecheH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LamportM94,
  author       = {Leslie Lamport and
                  Stephan Merz},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Specifying and Verifying Fault-Tolerant Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {41--76},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_159},
  doi          = {10.1007/3-540-58468-4\_159},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/LamportM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Lann94,
  author       = {G{\'{e}}rard Le Lann},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Scheduling in Critical Real-Time Systems: a Minfesto},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {511--528},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_181},
  doi          = {10.1007/3-540-58468-4\_181},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Lann94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Lassen94,
  author       = {Poul B{\o}gh Lassen},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {{IFAD} {VDM-SL} Toolbox},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {781},
  publisher    = {Springer},
  year         = {1994},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Lassen94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Lindner94,
  author       = {Thomas Lindner},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Case Study Production Cell},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {780},
  publisher    = {Springer},
  year         = {1994},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Lindner94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LiuJ94,
  author       = {Zhiming Liu and
                  Mathai Joseph},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Stepwise Development of Fault-Tolerant Reactive Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {529--546},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_182},
  doi          = {10.1007/3-540-58468-4\_182},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/LiuJ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MaffeisG94,
  author       = {Olivier Maffe{\"{\i}}s and
                  Paul {Le Guernic}},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Distributed Implementation of {SIGNAL:} Scheduling {\&} Graph
                  Clustering},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {547--566},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_183},
  doi          = {10.1007/3-540-58468-4\_183},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/MaffeisG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MoriY94,
  author       = {Ryosei Mori and
                  Naoki Yonezaki},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Derivation of the Input Conditional Formula from a Reactive System
                  Specifictaion in Temporal Logic},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {567--582},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_184},
  doi          = {10.1007/3-540-58468-4\_184},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/MoriY94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Nadjm-TehraniS94,
  author       = {Simin Nadjm{-}Tehrani and
                  Jan{-}Erik Str{\"{o}}mberg},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {From Physical Modelling to Compositional Models of Hybrid Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {583--604},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_185},
  doi          = {10.1007/3-540-58468-4\_185},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Nadjm-TehraniS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Pnueli94,
  author       = {Amir Pnueli},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Development of Hybrid Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {77--85},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_160},
  doi          = {10.1007/3-540-58468-4\_160},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Pnueli94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ReifSS94,
  author       = {Wolfgang Reif and
                  Gerhard Schellhorn and
                  Kurt Stenzel},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Formal Specification and Verification Using {KIV}},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {787},
  publisher    = {Springer},
  year         = {1994},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/ReifSS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/RushbyS94,
  author       = {John M. Rushby and
                  Jens Ulrik Skakkeb{\ae}k},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {The {PVS} Verification System and {PC/DC}},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {777},
  publisher    = {Springer},
  year         = {1994},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/RushbyS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SDT94,
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {The {SDL} Design Tool},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {785},
  publisher    = {Springer},
  year         = {1994},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/SDT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Schenke94,
  author       = {Michael Schenke},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Specification and Transformation of Reactive Systems with Time Restrictions
                  and Concurrency},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {605--620},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_186},
  doi          = {10.1007/3-540-58468-4\_186},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Schenke94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ShyamasundarR94,
  author       = {R. K. Shyamasundar and
                  S. Ramesh},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Languages for Reactive Specifications: Synchrony Vs Asynchrony},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {621--640},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_187},
  doi          = {10.1007/3-540-58468-4\_187},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/ShyamasundarR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SipmaM94,
  author       = {Henny Sipma and
                  Zohar Manna},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Specification and Verification of Controlled Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {641--659},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_188},
  doi          = {10.1007/3-540-58468-4\_188},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/SipmaM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SkakkebaekS94,
  author       = {Jens Ulrik Skakkeb{\ae}k and
                  Natarajan Shankar},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Towards a Duration Calculus Proof Assistant in {PVS}},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {660--679},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_189},
  doi          = {10.1007/3-540-58468-4\_189},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/SkakkebaekS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Wang94,
  author       = {Wang Yi},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain
                  Information},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {680--693},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_190},
  doi          = {10.1007/3-540-58468-4\_190},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Wang94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/WiefelT94,
  author       = {Susanne Wiefel and
                  Gerhard Trefz},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {{STATEMATE}},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {776},
  publisher    = {Springer},
  year         = {1994},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/WiefelT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Wilke94,
  author       = {Thomas Wilke},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Specifying Timed State Sequences in Powerful Decidable Logics and
                  Timed Automata},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {694--715},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_191},
  doi          = {10.1007/3-540-58468-4\_191},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Wilke94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/WinkelmannF94,
  author       = {Klaus Winkelmann and
                  Thomas Filkorn},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {System Verification Environment - {SVE}},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {783},
  publisher    = {Springer},
  year         = {1994},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/WinkelmannF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/WinkelmannN94,
  author       = {Klaus Winkelmann and
                  Klaus N{\"{o}}kel},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Control Specification Language - {CSL}},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {782},
  publisher    = {Springer},
  year         = {1994},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/WinkelmannN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/X94,
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Tools Demonstration},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {776--787},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_195},
  doi          = {10.1007/3-540-58468-4\_195},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/X94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/YuPS94,
  author       = {Huiqun Yu and
                  Paritosh K. Pandya and
                  Yongqiang Sun},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {A Calculus for Hybrid Sampled Data Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {716--737},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_192},
  doi          = {10.1007/3-540-58468-4\_192},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/YuPS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/YuWZP94,
  author       = {Xinyao Yu and
                  Ji Wang and
                  Chaochen Zhou and
                  Paritosh K. Pandya},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Formal Design of Hybrid Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {738--755},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_193},
  doi          = {10.1007/3-540-58468-4\_193},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/YuWZP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/YuhuaZ94,
  author       = {Zheng Yuhua and
                  Chaochen Zhou},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {A Formal Proof of the Deadline Driven Scheduler},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {756--775},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_194},
  doi          = {10.1007/3-540-58468-4\_194},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/YuhuaZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Zhou94,
  author       = {Chaochen Zhou},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Linear Duration Invariants},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {86--109},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_161},
  doi          = {10.1007/3-540-58468-4\_161},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Zhou94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1994,
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4},
  doi          = {10.1007/3-540-58468-4},
  isbn         = {3-540-58468-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BaetenB92,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  editor       = {Jan Vytopil},
  title        = {Asynchronous Communication in Real Space Process Algebra},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {473--492},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_26},
  doi          = {10.1007/3-540-55092-5\_26},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BaetenB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BoerH92,
  author       = {Frank S. de Boer and
                  Jozef Hooman},
  editor       = {Jan Vytopil},
  title        = {The Real-Time Behaviour of Asynchronously Communicating Processes},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {451--472},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_25},
  doi          = {10.1007/3-540-55092-5\_25},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BoerH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BreveglieriCC92,
  author       = {Luca Breveglieri and
                  Alessandra Cherubini and
                  Stefano Crespi{-}Reghizzi},
  editor       = {Jan Vytopil},
  title        = {Real-Time Scheduling by Queue Automata},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {131--147},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_8},
  doi          = {10.1007/3-540-55092-5\_8},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BreveglieriCC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Cardell-Oliver92,
  author       = {Rachel Cardell{-}Oliver},
  editor       = {Jan Vytopil},
  title        = {A Mechanized Theory for the Verification of Real-Time Program Code
                  using Higher Order Logic},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {375--392},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_21},
  doi          = {10.1007/3-540-55092-5\_21},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Cardell-Oliver92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ChaochenHRR92,
  author       = {Zhou Chaochen and
                  Michael R. Hansen and
                  Anders P. Ravn and
                  Hans Rischel},
  editor       = {Jan Vytopil},
  title        = {Duration Specifications for Shared Processors},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {21--32},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_2},
  doi          = {10.1007/3-540-55092-5\_2},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/ChaochenHRR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/CoenenH92,
  author       = {J. Coenen and
                  Jozef Hooman},
  editor       = {Jan Vytopil},
  title        = {A Compositional Semantics for Fault-Tolerant Real-Time Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {33--51},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_3},
  doi          = {10.1007/3-540-55092-5\_3},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/CoenenH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/CoesmansW92,
  author       = {Peter Coesmans and
                  Martin J. Wieczorek},
  editor       = {Jan Vytopil},
  title        = {Formal Specification of Fault-Tolerant Real-Time Systems Using Minimal
                  3-Sorted Modal Logic},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {571--590},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_31},
  doi          = {10.1007/3-540-55092-5\_31},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/CoesmansW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Daniels92,
  author       = {Mats Daniels},
  editor       = {Jan Vytopil},
  title        = {Modelling Real-Time Behaviour with an Interval Time Calculus},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {53--71},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_4},
  doi          = {10.1007/3-540-55092-5\_4},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Daniels92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DaviesJS92,
  author       = {Jim Davies and
                  Dave Jackson and
                  Steve A. Schneider},
  editor       = {Jan Vytopil},
  title        = {Broadcast Communication for Real-time Processes},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {149--169},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_9},
  doi          = {10.1007/3-540-55092-5\_9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/DaviesJS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DeylonM92,
  author       = {Bernard Delyon and
                  Oded Maler},
  editor       = {Jan Vytopil},
  title        = {On Fault-Tolerant Symbolic Computations},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {259--269},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_14},
  doi          = {10.1007/3-540-55092-5\_14},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/DeylonM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Fidge92,
  author       = {Colin J. Fidge},
  editor       = {Jan Vytopil},
  title        = {Specification and Verification of Real-Time Behaviour Using {Z} and
                  {RTL}},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {393--409},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_22},
  doi          = {10.1007/3-540-55092-5\_22},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Fidge92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/GoswamiBJ92,
  author       = {Asis Goswami and
                  Michael Bell and
                  Mathai Joseph},
  editor       = {Jan Vytopil},
  title        = {{ISL:} An Interval Logic for the Specification of Real-time Programs},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_1},
  doi          = {10.1007/3-540-55092-5\_1},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/GoswamiBJ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Heidtmann92,
  author       = {Klaus D. Heidtmann},
  editor       = {Jan Vytopil},
  title        = {Temporal Logic Applied to Reliability Modelling of Fault-Tolerant
                  Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {271--289},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_15},
  doi          = {10.1007/3-540-55092-5\_15},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Heidtmann92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JanssenZ92,
  author       = {Wil Janssen and
                  Job Zwiers},
  editor       = {Jan Vytopil},
  title        = {Protocol Design by Layered Decomposition: {A} Compositional Approach},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {307--326},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_17},
  doi          = {10.1007/3-540-55092-5\_17},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/JanssenZ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Jeffrey92,
  author       = {Alan Jeffrey},
  editor       = {Jan Vytopil},
  title        = {Translating Timed Process Algebra into Prioritized Process Algebra},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {493--506},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_27},
  doi          = {10.1007/3-540-55092-5\_27},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Jeffrey92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KestenP92,
  author       = {Yonit Kesten and
                  Amir Pnueli},
  editor       = {Jan Vytopil},
  title        = {Timed and Hybrid Statecharts and Their Textual Representation},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {591--620},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_32},
  doi          = {10.1007/3-540-55092-5\_32},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/KestenP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KrishnanM92,
  author       = {Padmanabhan Krishnan and
                  Peter D. Mosses},
  editor       = {Jan Vytopil},
  title        = {Specifying Asynchronous Transfer of Control},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {291--306},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_16},
  doi          = {10.1007/3-540-55092-5\_16},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/KrishnanM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Kurki-SuonioSV92,
  author       = {Reino Kurki{-}Suonio and
                  Kari Syst{\"{a}} and
                  J{\"{u}}ri Vain},
  editor       = {Jan Vytopil},
  title        = {Scheduling in Real-Time Models},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {327--339},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_18},
  doi          = {10.1007/3-540-55092-5\_18},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Kurki-SuonioSV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LemosSA92,
  author       = {Rog{\'{e}}rio de Lemos and
                  Amer Saeed and
                  Tom Anderson},
  editor       = {Jan Vytopil},
  title        = {Analysis of Timeliness Requirements in Safety-Critical Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {171--192},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_10},
  doi          = {10.1007/3-540-55092-5\_10},
  timestamp    = {Wed, 17 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/LemosSA92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Millet92,
  author       = {Odile Millet},
  editor       = {Jan Vytopil},
  title        = {Multicycles and {RTL} Logic Satisfiability},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {73--86},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_5},
  doi          = {10.1007/3-540-55092-5\_5},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Millet92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Moitra92,
  author       = {Abha Moitra},
  editor       = {Jan Vytopil},
  title        = {Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {87--106},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_6},
  doi          = {10.1007/3-540-55092-5\_6},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Moitra92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MurphyP92,
  author       = {David Murphy and
                  David H. Pitt},
  editor       = {Jan Vytopil},
  title        = {Real-Timed Concurrent Refineable Behaviours},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {529--545},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_29},
  doi          = {10.1007/3-540-55092-5\_29},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/MurphyP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Naik92,
  author       = {Yogesh Naik},
  editor       = {Jan Vytopil},
  title        = {A Temporal Approach to Requirements Specification of Real-Time Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {341--361},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_19},
  doi          = {10.1007/3-540-55092-5\_19},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Naik92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Narayana92,
  author       = {K. T. Narayana},
  editor       = {Jan Vytopil},
  title        = {Observing Task Preemption in Ada 9x},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {107--129},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_7},
  doi          = {10.1007/3-540-55092-5\_7},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Narayana92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Ortega-Mallen92,
  author       = {Yolanda Ortega{-}Mall{\'{e}}n},
  editor       = {Jan Vytopil},
  title        = {Operational Semantics for Timed Observations},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {507--527},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_28},
  doi          = {10.1007/3-540-55092-5\_28},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Ortega-Mallen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Plaice92,
  author       = {John Plaice},
  editor       = {Jan Vytopil},
  title        = {RLucid, a General Real-Time Dataflow Language},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {363--374},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_20},
  doi          = {10.1007/3-540-55092-5\_20},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Plaice92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/RichardR92,
  author       = {Martin Richard and
                  Olivier F. Roux},
  editor       = {Jan Vytopil},
  title        = {An Attempt to Confront Asynchronous Reality to Synchronous Modelization
                  in the {ESTEREL} Language},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {429--450},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_24},
  doi          = {10.1007/3-540-55092-5\_24},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/RichardR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Rushby92,
  author       = {John M. Rushby},
  editor       = {Jan Vytopil},
  title        = {Formal Specification and Verification of a Fault-Masking and Transient-Recovery
                  Model for Digital Flight-Control Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {237--257},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_13},
  doi          = {10.1007/3-540-55092-5\_13},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Rushby92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ScholefieldZ92,
  author       = {David Scholefield and
                  Hussein S. M. Zedan},
  editor       = {Jan Vytopil},
  title        = {{TAM:} {A} Formal Framework for the Development of Distributed Real-Time
                  Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {411--428},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_23},
  doi          = {10.1007/3-540-55092-5\_23},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/ScholefieldZ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Shankar92,
  author       = {Natarajan Shankar},
  editor       = {Jan Vytopil},
  title        = {Mechanical Verification of a Generalized Protocol for Byzantine Fault
                  Tolerant Clock Synchronization},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {217--236},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_12},
  doi          = {10.1007/3-540-55092-5\_12},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Shankar92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ToetenelK92,
  author       = {Hans Toetenel and
                  Jan van Katwijk},
  editor       = {Jan Vytopil},
  title        = {Stepwise Development of Model-Oriented Real-Time Specifications from
                  Action/Event Models},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {547--570},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_30},
  doi          = {10.1007/3-540-55092-5\_30},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/ToetenelK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/YodaikenR92,
  author       = {Victor Yodaiken and
                  Krithi Ramamritham},
  editor       = {Jan Vytopil},
  title        = {Verification of a Reliable Net Protocol},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {193--215},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_11},
  doi          = {10.1007/3-540-55092-5\_11},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/YodaikenR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1992,
  editor       = {Jan Vytopil},
  title        = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-55092-5},
  doi          = {10.1007/3-540-55092-5},
  isbn         = {3-540-55092-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Cullyer88,
  author       = {W. J. Cullyer},
  editor       = {Mathai Joseph},
  title        = {High Integrity Computing},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {1--35},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_1},
  doi          = {10.1007/3-540-50302-1\_1},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Cullyer88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/FischerZ88,
  author       = {Michael J. Fischer and
                  Lenore D. Zuck},
  editor       = {Mathai Joseph},
  title        = {Reasoning about Uncertainty in Fault-tolerant Distributed Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {142--158},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_11},
  doi          = {10.1007/3-540-50302-1\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/FischerZ88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HerlihyW88,
  author       = {Maurice Herlihy and
                  Jeannette M. Wing},
  editor       = {Mathai Joseph},
  title        = {Reasoning about Atomic Objects},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {193--208},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_14},
  doi          = {10.1007/3-540-50302-1\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/HerlihyW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Jaray88,
  author       = {Jacques Jaray},
  editor       = {Mathai Joseph},
  title        = {Timed Specifications for the Development of Real-time Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {67--83},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_3},
  doi          = {10.1007/3-540-50302-1\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Jaray88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KoymansKZ88,
  author       = {Ron Koymans and
                  Ruurd Kuiper and
                  Erik Zijstra},
  editor       = {Mathai Joseph},
  title        = {Paradigms for Real-time Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {159--174},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_12},
  doi          = {10.1007/3-540-50302-1\_12},
  timestamp    = {Tue, 21 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/KoymansKZ88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LeeZ88,
  author       = {Insup Lee and
                  Amy E. Zwarico},
  editor       = {Mathai Joseph},
  title        = {Timed Acceptances: {A} Model of Time Dependent Processes},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {128--130},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_7},
  doi          = {10.1007/3-540-50302-1\_7},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/LeeZ88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LiuS88,
  author       = {Leo Yuhsiang Liu and
                  R. K. Shyamasundar},
  editor       = {Mathai Joseph},
  title        = {Static Analysis of Real-time Distributed Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {134--138},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_9},
  doi          = {10.1007/3-540-50302-1\_9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/LiuS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MacEwenS88,
  author       = {Glenn H. MacEwen and
                  David B. Skillicorn},
  editor       = {Mathai Joseph},
  title        = {Using Higher-order Logic for Modular Specification of Real-time Distributed
                  Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {36--66},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_2},
  doi          = {10.1007/3-540-50302-1\_2},
  timestamp    = {Fri, 19 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/MacEwenS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ManciniP88,
  author       = {Luigi V. Mancini and
                  Giuseppe Pappalardo},
  editor       = {Mathai Joseph},
  title        = {Towards a Theory of Replicated Processing},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {175--192},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_13},
  doi          = {10.1007/3-540-50302-1\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/ManciniP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/McDermidM88,
  author       = {John Alexander McDermid and
                  Gary Morgan},
  editor       = {Mathai Joseph},
  title        = {Low Level Synchronisation Problems in Digital Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {139--141},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_10},
  doi          = {10.1007/3-540-50302-1\_10},
  timestamp    = {Tue, 14 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftrtft/McDermidM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PappalardoS88,
  author       = {Giuseppe Pappalardo and
                  Santosh K. Shrivastava},
  editor       = {Mathai Joseph},
  title        = {A Formal Treatment of Interference in Remote Procedure Calls},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {209--227},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_15},
  doi          = {10.1007/3-540-50302-1\_15},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/PappalardoS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PilaudH88,
  author       = {Daniel Pilaud and
                  Nicolas Halbwachs},
  editor       = {Mathai Joseph},
  title        = {From a Synchronous Declarative Language to a Temporal Logic Dealing
                  with Multiform Time},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {99--110},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_5},
  doi          = {10.1007/3-540-50302-1\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/PilaudH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PnueliH88,
  author       = {Amir Pnueli and
                  Eyal Harel},
  editor       = {Mathai Joseph},
  title        = {Applications of Temporal Logic to the Specification of Real-time Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {84--98},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_4},
  doi          = {10.1007/3-540-50302-1\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/PnueliH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SoundararajanC88,
  author       = {Neelam Soundararajan and
                  Roger L. Costello},
  editor       = {Mathai Joseph},
  title        = {Responsive Sequential Processes},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {131--133},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_8},
  doi          = {10.1007/3-540-50302-1\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/SoundararajanC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/WupperV88,
  author       = {Hanno Wupper and
                  Jan Vytopil},
  editor       = {Mathai Joseph},
  title        = {A Specification Language for Reliable Real-time Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  pages        = {111--127},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1\_6},
  doi          = {10.1007/3-540-50302-1\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/WupperV88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1988,
  editor       = {Mathai Joseph},
  title        = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
                  of a Symposium, Warwick, UK, September 22-23, 1988},
  series       = {Lecture Notes in Computer Science},
  volume       = {331},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50302-1},
  doi          = {10.1007/3-540-50302-1},
  isbn         = {3-540-50302-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/1988.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics