Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
Static checking of system behaviors using derived component assumptions