PsALM: Specification of Dependable Robotic Missions | IEEE Conference Publication | IEEE Xplore