(header ((h) ihello provides) ((sut) hello_no_compliance component) ((w) ihello requires) ((w1) ihello requires))
(state ((h) (state . status:OFF)) ((sut) (state . status:OFF)) ((w) (state . status:OFF)) ((w1) (state . status:OFF)))
<external>.h.start -> ...
... -> sut.h.start
sut.w.start -> ...
... -> <external>.w.start
... <- <external>.w.return
sut.w.return <- ...
... <- sut.h.return
<external>.h.return <- ...
(state ((h) (state . status:STARTING)) ((sut) (state . status:STARTING)) ((w) (state . status:STARTING)) ((w1) (state . status:OFF)))
(trail "h.start" "w.start" "w.return" "h.return")
... <- <external>.w.started
sut.<q> <- ...
... <- sut.<q>
sut.w.started <- ...
sut.w1.start -> ...
... -> <external>.w1.start
... <- <external>.w1.return
sut.w1.return <- ...
(state ((h) (state . status:STARTING)) ((sut) (state . status:STARTING)) ((w) (state . status:ON)) ((w1) (state . status:STARTING)))
(trail "w.started" "w1.start" "w1.return")
(state ((h) (state . status:STARTING)) ((sut) (state . status:STARTING)) ((w) (state . status:ON)) ((w1) (state . status:STARTING)))
(labels "h.start" "h.stop" "w.started" "w.error" "w1.started" "w1.error")
(eligible "h.stop" "w.error" "w1.error" "w1.started")
