Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi