Systematic logic controller design as sequential function chart starting from informal requirementsSven LohmannEsauritoAvvisami