Validation Support for Distributed Real-Time Embedded Systems in VDM++