Daryl Stewart, Georg Weissenbacher: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. IEEE 2017, ISBN 978-0-9835678-7-5