@article{berthomieu2004tool,
  title={The tool {TINA}--Construction of Abstract State Spaces for Petri nets and Time Petri nets},
  author={Berthomieu, Bernard and Ribet, P-O and Vernadat, Fran{\c{c}}ois},
  journal={International Journal of Production Research},
  volume={42},
  number={14},
  year={2004}
}

@inproceedings{berthomieu2008fiacre,
  title={Fiacre: an intermediate language for model verification in the topcased environment},
  author={Berthomieu, Bernard and Bodeveix, Jean-Paul and Farail, Patrick and Filali, Mamoun and Garavel, Hubert and Gaufillet, Pierre and Lang, Frederic and Vernadat, Fran{\c{c}}ois},
  booktitle={ERTS 2008},
  year={2008}
}

@inproceedings{berthomieu2010formal,
  title={Formal Verification of AADL models with Fiacre and Tina},
  author={Berthomieu, Bernard and Bodeveix, Jean-Paul and Dal Zilio, Silvano and Dissaux, Pierre and Filali, Mamoun and Gaufillet, Pierre and Heim, Sebastien and Vernadat, Fran{\c{c}}ois},
  booktitle={ERTSS 2010-Embedded Real-Time Software and Systems},
  pages={1--9},
  year={2010}
}

@Article{BM83,
  author =       "B. Berthomieu and M. Menasche",
  title =        "An Enumerative Approach for Analyzing Time {P}etri Nets.",
  journal =      "IFIP Congress Series",
  volume =       "9",
  pages =        "41--46",
  publisher =    "Elsevier Science Publ. Comp. (North Holland)",
  year =         "1983",
}

@Article{BRV04,
 author = {Berthomieu, B. and Ribet, P.O.  and Vernadat, F.},
 title = {The tool {T}INA -- Construction of Abstract State Spaces for {P}etri
  {N}ets and Time Petri Nets},
 journal = {International Journal of Production Research}, 
 volume = 42,
 number = 14, 
 year = 2004}

@incollection{berthomieu2014model,
  title={Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre},
  author={Berthomieu, B. and Dal Zilio, S. and Fronc, {\L}.},
  booktitle={ABZ 2014: The Landing Gear Case Study},
  pages={110--125},
  year={2014},
  publisher={Springer}
}

@article{zilio2015latency,
  title={Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina},
  author={Dal Zilio, S. and Berthomieu, B. and Le Botlan, D.},
  journal={arXiv preprint arXiv:1509.06506},
  year={2015}
}

@inproceedings{bourdil2014model,
  title={Model-Checking Real-Time Properties of an Auto Flight Control System Function},
  author={Bourdil, P.-A. and Berthomieu, B. and Jenn, E.},
  booktitle={IEEE ISSREW},
  year={2014}
}

@article{rangra2014sdl,
  title={{SDL} to {Fiacre} translation},
  author={Rangra, S. and Gaudin, E.},
  journal={Embedded Real-Time Software and Systems, Toulouse},
  year={2014}
}

@article{bouyer2004updatable,
  title={Updatable timed automata},
  author={Bouyer, Patricia and Dufourd, Catherine and Fleury, Emmanuel and Petit, Antoine},
  journal={Theoretical Computer Science},
  volume={321},
  number={2-3},
  pages={291--345},
  year={2004},
  publisher={Elsevier}
}

@article{larsen1997uppaal,
  title={UPPAAL in a nutshell},
  author={Larsen, Kim G and Pettersson, Paul and Yi, Wang},
  journal={International journal on software tools for technology transfer},
  volume={1},
  number={1-2},
  pages={134--152},
  year={1997},
  publisher={Springer}
}

@inproceedings{griffault2004mec,
  title={The mec 5 model-checker},
  author={Griffault, Alain and Vincent, Aymeric},
  booktitle={International Conference on Computer Aided Verification},
  pages={488--491},
  year={2004},
  organization={Springer}
}