@misc{indiciae4abc34ee72e3,
  title = {Challenges for modelling and analysis in embedded systems and systems-of-systems design},
  author = {Boudewijn R. Haverkort},
  year = {2013},
  doi = {10.4204/eptcs.133.5},
  url = {https://arxiv.org/abs/1311.3630},
  note = {Source identifier: 1311.3630}
}