The Language of SysML v2 under the Magnifying Glass