@inproceedings{inproceedings, title  = {{Using coupled simulations in non-atomic refinement}},

 url = {{}},

 year = {{2003}},

 month = {{1}},

 author = {{Derrick J and Wehrheim H}},

 volume = {{2651}},

 journal = {{ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B}},

 pages = {{127-147}},

 note = {{Accessed on 2024/12/22}}}