https://www.eclipsecon.org/na2015/session/rover-use-case-specification-and-design-using-polarsys-tools-papyrus-reqcycle-and-gendoc