Generation and Refinement of PLC Function Blocks.

Published in: Joint Workshop of the German Research Training Groups in Computer Science (2014)