TY - RPRT TI - Towards Logical Architecture and Formal Analysis of Dependencies Between Services AU - Maria Spichkova AU - Heinrich Schmidt PY - 2014 UR - https://arxiv.org/abs/1412.3529 ID - 1412.3529 ER -