StateLator - Behavioral Code Generation as an Instance of a Model Transformation.

Thomas Behrens, Simon Richards

Browse the full CaiSE paper archive.