Assertion: interrupt's isr | /r/CapableOf | end with an rtistatement
Facets:
value: always
type: TEMPORAL
Source sentences:
text: The ISR's must always end with an "RTI" statement to transfer control back to the main program.