How to do this is explained in chapters to come (especially Chapters 5 and 6). For
now, we just show what can be done.
48 Why We Need Model-Based Analysis
0
2
Timeout()
1
Command()
71
113
Calibrate()
99
103
Calibrate()
11
13
Calibrate()
32
36
Calibrate()
105
107
Calibrate()
117
119
Calibrate()
3
Reset()
22
NoHandler()
Timeout()
Command()
4
Command()
6
Message("999.9")
8
TimeoutMsgLost()
7
Message("99.9")
5
TimeoutMsgLate()
52
NoHandler()
9
CheckMessage()
19
NoHandler()
10
CheckMessage()
14
NoHandler()
17
Message("99.9")
16
Message("999.9")
15
Command()
CheckMessage() CheckMessage()
18
NoHandler()
Message("99.9") Message("999.9")
Command()
Command()
12
Timeout()
23
Poll()
25
TimeoutMsgLate()
28
TimeoutMsgLost()
27
Message("99.9")
24
Command()
26
Message("999.9")
30
ReportLostMessage()
51
ReportLostMessage()
29
CheckMessage()
31
NoHandler()
CheckMessage()
TimeoutMsgLate() TimeoutMsgLost()
Message("99.9")
Command()
Message("999.9")
54
Timeout()
53
Command()
56
Reset()
55
NoHandler()
Timeout()
Command()
58
TimeoutMsgLate()
57
Command()
59
Message("999.9")
60
Message("99.9")
61
TimeoutMsgLost()
62
NoHandler()
63
NoHandler()
CheckMessage()
CheckMessage()
64
NoHandler()
65
Command()
66
NoHandler() Command()
TimeoutMsgLate()
Command()
Message("999.
Pages:
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88