Debmalya Biswas Blaise Genest Minimal Observability for Transactional Hierarchical Services. 531-536 2008 SEKE conf/seke/2008 db/conf/seke/seke2008.html#BiswasG08