Specification patterns for robotic missions

Publication
IEEE Transactions on Software Engineering (TSE)