Proceedings of the Europe Symposium on VDM - The Way Ahead