@article{ABC+12,
title = {Rigorous design of robot software: A formal component-based approach },
author = {Abdellatif, Tesnim and Bensalem, Saddek and Combaz, Jacques and Silva, Lavindra de and Ingrand, Felix},
year = {2012},
journal = {Robotics and Autonomous Systems},
number = {12},
pages = {1563-1578},
volume = {60},
team = {DCS, RSD},
ee = {http://dx.doi.org/10.1016/j.robot.2012.09.005},
bibsource = {DBLP, http://dblp.uni-trier.de},
}
