Process Algebraic - Performance Modeling Of Embedded Software