Modeling distributed real-time systems with MAST 2

Michael González Harbour, J. Javier Gutiérrez, José M. Drake, Patricia López Martínez, J. Carlos Palencia. Modeling distributed real-time systems with MAST 2. Journal of Systems Architecture, 59(6):331-340, 2013. [doi]

@article{HarbourGDMP13,
  title = {Modeling distributed real-time systems with MAST 2},
  author = {Michael González Harbour and J. Javier Gutiérrez and José M. Drake and Patricia López Martínez and J. Carlos Palencia},
  year = {2013},
  doi = {10.1016/j.sysarc.2012.02.001},
  url = {http://dx.doi.org/10.1016/j.sysarc.2012.02.001},
  researchr = {https://researchr.org/publication/HarbourGDMP13},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems Architecture},
  volume = {59},
  number = {6},
  pages = {331-340},
}