Added the backend for Uppaal. Need to check how to add guards and updates on the transitions