PPT Slide
It is always possible to synthesize a FSM out of a set of MSCs
all refer to the same initial system configuration
representative of major system behaviors
Each system component is in (at least) a MSC
MSCs contain info about the state of components
Other technical conditions