Model based component development and analysis with ComMA

Ivan Kurtev, Jozef Hooman, Mathijs Schuts, Daan van der Munnik. Model based component development and analysis with ComMA. Science of Computer Programming, 233:103067, 2024. [doi]

@article{KurtevHSM24,
  title = {Model based component development and analysis with ComMA},
  author = {Ivan Kurtev and Jozef Hooman and Mathijs Schuts and Daan van der Munnik},
  year = {2024},
  doi = {10.1016/j.scico.2023.103067},
  url = {https://doi.org/10.1016/j.scico.2023.103067},
  researchr = {https://researchr.org/publication/KurtevHSM24},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {233},
  pages = {103067},
}