Algebraic software analysis and embedded simulation of a driving robot. - L. L. F. Merkx; Pieter J. L. Cuijpers; H. M. Duringhof (SCSC, 2007)