Ewen Denney, Ulrik Pagh Schultz (Eds.):
Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011.
ACM 2011, ISBN 978-1-4503-0689-8
Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann: Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study.
147-156