PsALM: specification of dependable robotic missions

Publication
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)