Decision Procedure for Temporal Logic of Concurrent Objects. - Jean Paul Bahsoun; Rami El-Baïda; Hugues-Olivier Yar (Euro-Par, 1999)

Automatic Verification of Concurrent Object Properties. - Rami El-Baïda; Jean Paul Bahsoun (AICCSA, 2001)