@article{BGJ+07a,
title = {Specify, Compile, Run: Hardware from PSL },
author = {Bloem, Roderick and Galler, Stefan J. and Jobstmann, Barbara and Piterman, Nir and Pnueli, Amir and Weiglhofer, Martin},
year = {2007},
journal = {Electr. Notes Theor. Comput. Sci.},
number = {4},
pages = {3-16},
volume = {190},
team = {DCS},
}