Distributed Computer-Controlled Systems: the DEAR-COTS Approach - P. Veríssimo (2000)