@inproceedings{inproceedings096e43e4,
title   = {An automatic modelling approach to mobile robots},
author = {Bernardi, Reinaldo de and Potts, Alain Segundo and Cruz, José Jaime da},
year = {2009},
booktitle   = {MATHMOD 09}
}