Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Requirements