Text this: Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.