Computer Aided Systems Theory - EUROCAST 2013 - Moreno-DÃaz (Springer Berlin Heidelberg, 2013)