Adding Extensions To Uml Dynamic Models For Better Embedded System Design