Their work was mainly targeting the class and state chart diagrams. In a later research ... the way through the software, hardware and interface synthesis procedure. In an attempt to create a formal ...