Behavioral Analysis of Embedded Software Using a Variant of UML State-diagram