Computer Aided Systems Theory - EUROCAST 2017 : 16th International conference. Part II. Las Palmas de Gran Canaria, Spain. February 19-24, 2017. Cham : Springer, 2018. Lecture Notes in Computer Science, Vol. 10672. ISBN 978-3-319-74726-2.