Design of a Tunnel Supervisory Controller using Synthesis-Based Engineering