Peter
Tak
Srinivas

11.1 o.k.
11.2.2 remove comments, say: all operations are floating point.
add column with allowed types of operands
adopt c-behavior for power and modulus (see Ansi-C, p 251)
also make clear that integer arith and floating arith occur in different context
11.3 syntax 86 change nonescaped_id to arith_model_id
do we need examples for better readability?
11.4 p. 164 elaborate on last paragraph: legal range of values
11.5 o.k.
11.6
p.166 make definition "principal" versus "auxiliary" more obvious -> needs to go to "terms and defs"
p.167 9-10 rephrase, using either/or
11.7 o.k.
11.8 o.k.
11.9.2
p.170, line 34 change "specific" to "respective", make reference to 11.11 through 11.22
11.9.3
p.171, line 31 ff. see Peter's suggestion
p.172, "fit" shall be only used, if it provides tighter bound than "linear"
figure 19 no space within dy/dx
11.9.4 o.k.
11.9.5 o.k.
11.10
p.174, line 51 ff. rewrite for better explanation
p.175, line 13 missing reference
11.11.1
p.176 refer to "vector expression" as special case of "control expression" rather than "ALF name"?
11.11.2
p.177 line 21 contrast "temporal" with "spatial", say "in the time domain"
11.11.3
p.178 line 26ff make reference to "from", "to", define from-event, to-event or change it
line 31 put "in conjunction WITH"
line 40 join the last two paragraphs into one.
11.11.4 o.k.
11.11.5
p.180, line 10, change "eventually" to "optionally": check systematically otheer places
11.11.6 o.k.
make note that negative setup and hold are physically possible
11.11.7 o.k.
11.11.8
Statement: vector expression needed to describe the whole timing diagram, both greay and white parts
Figure 24: redraw grey zone so that edge does not touch boundary
remove circles, replace by small arrow
p.182, line 45, make better explanation in the beginning
line 48, make definition "vector sub-expression" more outstanding
11.11.9 o.k.
11.11.10
p.185, line 29, put "primitive" in front of "time interval" instead of "event sequence"
line 33 explain "primitive event seq" = "seq of events that happen within the primitive time interval"
p.188 fig 29 ?
11.11.11 o.k.
11.11.12 o.k.
11.11.13 o.k.
11.12
p.192, line 53 wrong reference to edge-number
p.193, line 46 check reference
p.194, line 17 wrong reference
p.200, line 42 missing space between "annotation" and "shall"
p.205, line 26 change "transformator" into "transformer"
line 52 typo in "inductance"
p.208, line 23 missing "shall"
line 30 put more "or" statements
line 49 ditto
line 30, 49 "shall be considered", missing "d"
p.210, line 37 missing space
p.214, line 12 "aacording to" not "on"
p.215, default unit for AREA missing
p.217, line 40 "anisotropic"
p.219, line 37 left and right put "border"
line 42 ditto
p.220 line 9 "an associated geometric"
p.221, default unit for DISTANCE missing
p.222 line 4 replace "negative distance" with "distance between nearest edges of overlapping objects"
p.223 table 103 explain better, use "implication" instead of "restriction"