adding user story fro LAAS and INPT; model-checking from SysML model