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 = {Fri, 26 May 2017 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 = {Fri, 26 May 2017 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 = {Fri, 26 May 2017 01:00:00 +0200},
  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 = {Mon, 22 May 2017 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 = {Mon, 22 May 2017 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 = {Mon, 22 May 2017 01:00:00 +0200},
  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 A. 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 = {Mon, 22 May 2017 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 = {Mon, 22 May 2017 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 = {Mon, 22 May 2017 01:00:00 +0200},
  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 = {Mon, 22 May 2017 01:00:00 +0200},
  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 = {Fri, 30 Nov 2018 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 = {Fri, 27 Mar 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 = {Sat, 05 Sep 2020 01:00:00 +0200},
  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 = {Mon, 22 May 2017 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 = {Mon, 22 May 2017 01:00:00 +0200},
  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 = {Mon, 22 May 2017 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 = {Mon, 22 May 2017 01:00:00 +0200},
  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    = {R. 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 = {Mon, 22 May 2017 01:00:00 +0200},
  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, 14 May 2019 10:00:40 +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, 22 May 2017 01:00:00 +0200},
  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 = {Mon, 22 May 2017 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, 22 May 2017 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, 14 May 2019 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},
  url       = {http://link.springer.com/chapter/10.1007/3-540-58468-4\_195},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  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},
  url       = {http://link.springer.com/chapter/10.1007/3-540-58468-4\_195},
  timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
  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},
  url       = {http://link.springer.com/chapter/10.1007/3-540-58468-4\_195},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  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 = {Sat, 20 May 2017 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},
  url       = {http://link.springer.com/chapter/10.1007/3-540-58468-4\_195},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  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},
  url       = {http://link.springer.com/chapter/10.1007/3-540-58468-4\_195},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  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},
  url       = {http://link.springer.com/chapter/10.1007/3-540-58468-4\_195},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  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},
  url       = {http://link.springer.com/chapter/10.1007/3-540-58468-4\_195},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  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},
  url       = {http://link.springer.com/chapter/10.1007/3-540-58468-4\_195},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  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},
  url       = {http://link.springer.com/chapter/10.1007/3-540-58468-4\_195},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  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},
  url       = {https://doi.org/10.1007/3-540-58468-4\_195},
  doi       = {10.1007/3-540-58468-4\_195},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  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},
  url       = {http://link.springer.com/chapter/10.1007/3-540-58468-4\_195},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  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},
  url       = {http://link.springer.com/chapter/10.1007/3-540-58468-4\_195},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftrtft/WinkelmannN94.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 = {Sat, 20 May 2017 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, 07 Aug 2020 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 = {Fri, 19 May 2017 01:00:00 +0200},
  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 = {Fri, 19 May 2017 01:00:00 +0200},
  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 May 2017 01:00:00 +0200},
  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 A. McDermid and
               G. 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 = {Fri, 19 May 2017 01:00:00 +0200},
  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