Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, L. Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Jeffrey L. Derevensky, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel. Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. In Sriram Sankaranarayanan 0001, Natasha Sharygina, editors, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II. Volume 13994 of Lecture Notes in Computer Science, pages 44-52, Springer, 2023. [doi]

@inproceedings{FokkinkGHBHREMMRRDSTVV23,
  title = {Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit},
  author = {Wan J. Fokkink and Martijn A. Goorden and Dennis Hendriks and D. A. van Beek and Albert T. Hofkamp and Ferdie F. H. Reijnen and L. F. P. Etman and L. Moormann and Joanna M. van de Mortel-Fronczak and Michel A. Reniers and Jacobus E. Rooda and Jeffrey L. Derevensky and Ramon R. H. Schiffelers and Sander Thuijsman and J. J. Verbakel and J. A. Vogel},
  year = {2023},
  doi = {10.1007/978-3-031-30820-8_6},
  url = {https://doi.org/10.1007/978-3-031-30820-8_6},
  researchr = {https://researchr.org/publication/FokkinkGHBHREMMRRDSTVV23},
  cites = {0},
  citedby = {0},
  pages = {44-52},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II},
  editor = {Sriram Sankaranarayanan 0001 and Natasha Sharygina},
  volume = {13994},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-031-30820-8},
}