B. Wiszniewski, “TESTABLE ENVIRONMENTS OF DISTRIBUTED OBJECTS”, Comput. Inform., vol. 19, no. 6, pp. 527–545, Mar. 2012.