Phil Curran, Kathy Norrie. An approach to verifying concurrent systems-a medical information bus (MIB) case study. In Fifth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'92), June 14-17, 1992, Durham, NC, USA. pages 74-83, IEEE Computer Society, 1992. [doi]
Abstract is missing.