T3.5: The system specification model is a semi-formal model of the Subset26 reference document.