TY - RPRT TI - Challenges for modelling and analysis in embedded systems and systems-of-systems design AU - Boudewijn R. Haverkort PY - 2013 DO - 10.4204/eptcs.133.5 UR - https://arxiv.org/abs/1311.3630 ID - 1311.3630 ER -