###############
Important note: 
###############

ABS system can only be handled by UPPAAL if time resolution (-tr) is set to
100000 (= 100 us). Otherwise, timed notification of 1 ms produces an
out of range error in UPPAAL.

Use the following command:

java -jar ../../sc2uppaal.jar -i ABS_tb.ast.xml -o ABS_tb.uppaal.xml -tr 100000
