title: System contains deadlock - how to find it? (UPPAAL)
body: <p>I set up a model with UPPAAL and i used the verifier to check for a deadlock. The answer is: Property not satisfied. Thus there exists a deadlock. </p>
  
  <p>Is there a way in UPPAAL to report more detailled information about the deadlock such as the state and the current values of all variables in the specific situation?</p>