@INPROCEEDINGS{ramanathan-et-al:2010:deriving, author = {Ganesh Ramanathan and Benjamin Morandi and Scott West and Sebastian Nanz and Bertrand Meyer}, title = {Deriving Concurrent Control Software from Behavioral Specifications}, booktitle = {Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'10)}, pages={1994--1999}, year = {2010}, publisher = {IEEE}, urltopdf = {http://dx.doi.org/10.1109/IROS.2010.5650536} }