@misc{indiciae7515bf52feb6,
  title = {Development and Validation of Functional Model of a Cruise Control System},
  author = {Avinash Visagan Varadarajan and Marcel Romijn and Bart Oosthoek and Joanna van de Mortel-Fronczak and Jos Beijer},
  year = {2016},
  doi = {10.4204/eptcs.205.4},
  url = {https://arxiv.org/abs/1603.08635},
  note = {Source identifier: 1603.08635}
}