PsALM: Specification of dependable robotic missions