@InProceedings{ELK19,
author={Francisco Eiras and Morteza Lahijanian and Marta Kwiatkowska},
title={Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture},
booktitle={Proc. IEEE 2nd Connected and Automated Vehicles Symposium (CAVS'19)},
year={2019},

editors={},
pages={1--7},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}