A pragmatic formal method (PFM) for computer system definition and execution | IEEE Conference Publication | IEEE Xplore