@book{BraHel:2012,
address = {Hamburg, Germany},
author = {Jens Brandt and Keijo Heljanko},
language = {eng},
pages = {203},
publisher = {IEEE},
title = {Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD 2012)},
year = {2012},
}