Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011. IEEE 2011, ISBN 978-1-4577-0117-7