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