Computer Aided Systems Theory – EUROCAST 2011 - Hutchison, David; Kanade, Takeo; Pichler, Franz; Quesada Arencibia, Alexis (Springer Berlin Heidelberg, 2012)