The TOQL System. - Evdoxios Baratis; Nikolaos Maris; Euripides G. M. Petrakis; Sotiris Batsakis; Nikos Papadakis (SSTD, 2009)

TOQL: Temporal Ontology Querying Language. - Evdoxios Baratis; Euripides G. M. Petrakis; Sotiris Batsakis; Nikolaos Maris; Nikos Papadakis (SSTD, 2009)

Modeling Dynamic Architectures Using Dy-BIP. - Marius Bozga; Mohamad Jaber 001; Nikolaos Maris; Joseph Sifakis (SC@TOOLS, 2012)