Testable Requirements and Specifications. - Jonathan S. Ostroff; Faraz Ahmadi Torshizi (TAP, 2007)

The SCOOP Concurrency Model in Java-like Languages. - Faraz Ahmadi Torshizi; Jonathan S. Ostroff; Richard F. Paige; Marsha Chechik (CPA, 2009)

Beyond contracts for concurrency. - Jonathan S. Ostroff; Faraz Ahmadi Torshizi; Hai Feng Huang; Bernd Schoeller (Formal Aspects Comput., 2009)