The previous page is sending you to https://www.researchgate.net/publication/220130636_Methods_for_the_Development_of_Distributed_Real-Time_Embedded_Systems_Using_VDM.

 If you do not want to visit that page, you can return to the previous page.