Renard, D., Saddem, R., Annebicque, D., & Riera, B. State-Action Structured Text Logic Controller  [Computer software]