Development Process of Distributed Embedded Systems using VDM

This document is intended to provide readers who already have experience with general VDM concepts from language manuals [LangManPP] or books [Fitzgerald&05] and/or courses and it is also assumed that the reader has general knowledge about concepts using for concurrent systems [Ben-Ari82, Hoare85, C