Physical Domain Modeling for the Development of Dependable Embedded Systems