Translation validation for model-based code-generators for PLCs. - D. Pollmacher; Wolf Zimmermann; Hans-Michael Hanisch (ETFA, 2005)