Embedded Software Development Method Based on Description Specification Using State Transition Diagram