Modeling and Validating Distributed Embedded Real-Time Systems with VDM++