m
OD
a
6
Workshop on
m
odel-
O
riented
D
esign and
a
nalysis