Computer aided systems theory - EUROCAST 2011 : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers (2012)