Formal Development of Critical Multi-agent Systems: A Refinement Approach | IEEE Conference Publication | IEEE Xplore