@article{BLB13,
title = {Rigorous embedded design: challenges and perspectives },
author = {Bensalem, Saddek and Legay, Axel and Bozga, Marius},
year = {2013},
journal = {STTT},
number = {3},
pages = {149-154},
volume = {15},
team = {DCS, RSD},
}