Electronic voting system formalization in VDM++