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