Introduction
System level model and decomposition to nested state diagrams of theVCR system
