selected publications

• academic article

  • A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard.  International Journal on Software Tools for Technology Transfer.  22:333-347. 2019
  • Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach.  International Journal on Software Tools for Technology Transfer.  22:349-363. 2019

• blog posting

  • The Generic SysML/KAOS Domain Metamodel..  arXiv (Cornell University). 2018

• chapter

  • An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard.  Lecture notes in computer science. 353-366. 2018
  • Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach.  Lecture notes in computer science. 262-276. 2018

• conference paper

  • Back Propagating B System Updates on SysML/KAOS Domain Models.  . 160-169. 2018

• report

  • Formal representation of SysML/KAOS domain model.  . 2019