sRCc_struc.tex

MTT command:

mtt sRCc struc tex

List of inputs for system sRCc
1	u	sRCc__e1__se_1__u	1

List of outputs for system sRCc
1	ss_1	sRCc__e2__ss_1	1
2	ss_2	sRCc__e2__ss_2	1

List of states for system sRCc
1	c	sRCc__c__c	1
2	c	sRCc__c__c_2	1