Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines

Angelo Furfaro, Libero Nigro, Francesco Pupo. Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines. Real-Time Systems, 32(1-2):105-123, 2006. [doi]

@article{FurfaroNP06,
  title = {Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines},
  author = {Angelo Furfaro and Libero Nigro and Francesco Pupo},
  year = {2006},
  doi = {10.1007/s11241-006-5318-0},
  url = {http://dx.doi.org/10.1007/s11241-006-5318-0},
  tags = {state machines, design},
  researchr = {https://researchr.org/publication/FurfaroNP06},
  cites = {0},
  citedby = {0},
  journal = {Real-Time Systems},
  volume = {32},
  number = {1-2},
  pages = {105-123},
}