Formal methods for developing high assurance computer systems: working group report | IEEE Conference Publication | IEEE Xplore