Green Way System Specification in VDM++