Sven Twarok Peter Langendörfer Hartmut König Automated Derivation of ILP Implementations from SDL Specifications. 3-18 2001 conf/forte/2001 FORTE db/conf/forte/forte2001.html#TwarokLK01