Priority State Machine (PrSMa): a practical tool for DES control system developers