1
Property Dekker-PT-015-CTLFireabilitySimple-0
2
"Automatically generated"
6
Property Dekker-PT-015-CTLFireabilitySimple-1
7
"Automatically generated"
11
Property Dekker-PT-015-CTLFireabilitySimple-2
12
"Automatically generated"
16
Property Dekker-PT-015-CTLFireabilitySimple-3
17
"Automatically generated"
19
E (("withdraw/10/8"?) U ("withdraw/8/4"?))
21
Property Dekker-PT-015-CTLFireabilitySimple-4
22
"Automatically generated"
24
E (("withdraw/1/3"?) U ("withdraw/7/6"?))
26
Property Dekker-PT-015-CTLFireabilitySimple-5
27
"Automatically generated"
31
Property Dekker-PT-015-CTLFireabilitySimple-6
32
"Automatically generated"
36
Property Dekker-PT-015-CTLFireabilitySimple-7
37
"Automatically generated"
41
Property Dekker-PT-015-CTLFireabilitySimple-8
42
"Automatically generated"
44
A (("withdraw/12/9"?) U ("withdraw/0/5"?))
46
Property Dekker-PT-015-CTLFireabilitySimple-9
47
"Automatically generated"
51
Property Dekker-PT-015-CTLFireabilitySimple-10
52
"Automatically generated"
54
E (("enter/1"?) U ("withdraw/12/7"?))
56
Property Dekker-PT-015-CTLFireabilitySimple-11
57
"Automatically generated"
61
Property Dekker-PT-015-CTLFireabilitySimple-12
62
"Automatically generated"
66
Property Dekker-PT-015-CTLFireabilitySimple-13
67
"Automatically generated"
71
Property Dekker-PT-015-CTLFireabilitySimple-14
72
"Automatically generated"
76
Property Dekker-PT-015-CTLFireabilitySimple-15
77
"Automatically generated"