Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit.
Wan J. FokkinkMartijn A. GoordenDennis HendriksD. A. van BeekAlbert T. HofkampFerdie F. H. ReijnenL. F. P. EtmanL. MoormannJoanna M. van de Mortel-FronczakMichel A. ReniersJacobus E. RoodaJeffrey L. DerevenskyRamon R. H. SchiffelersSander ThuijsmanJ. J. VerbakelJ. A. VogelPublished in: TACAS (2) (2023)