Publications in collaboration with researchers from Laboratory for Analysis and Architecture of Systems (2)