High assurance, my personal experience and view point | IEEE Conference Publication | IEEE Xplore