Computer Aided Systems Theory - EUROCAST 2017 : 16th International conference. Part I. Las Palmas de Gran Canaria, Spain. February 19-24, 2017. Cham : Springer, 2018. Lecture Notes in Computer Science, Vol. 10671. ISBN 978-3-319-74717-0. ISSN 0302-9743.