Spatial Awareness of Autonomous Embedded Systems - Holzmann, Clemens (ISBN 9783834807984 9783834895691, 2009)