Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems.

Mohammad Reza Mousavi Michel A. Reniers Twan Basten Michel R. V. Chaudron Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. 71-81 2003 conf/acsd/2003 ACSD http://csdl.computer.org/comp/proceedings/acsd/2003/1887/00/18870071abs.htm db/conf/acsd/acsd2003.html#MousaviRBC03