The SysML InterfaceBlock can be used for general contracts (it is NOT just for use as the Type of a ProxyPort)!
TRAIL: HOWTO simulate Dependency Injection of SysML Parametric calculations Jump to first slide The problem statement: A Client subscribes to an output value property but does not know what computes it or how Sections
