A statecharts — Based software development process for implementing atomic read/ write shared memory in mobile ad hoc network | IEEE Conference Publication | IEEE Xplore