Personalization, Verification and Conformance for Logic-based Communicating Agents. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti; Claudio Schifanella; Laura Torasso; Viviana Mascardi (WOA, 2005)