Started the backend for Uppaal