1. Broy, M.: Pragmatic and formal specification of system properties by tables. TUM-I9802 (1998)
2. Lawford, M., Froebel, P., Moum, G.: Application of tabular methods to the specification and verification of a nuclear reactor shutdown system. Formal Methods Syst. Des.
3. Bourguiba, I., Janicki, R.: Table-based specification techniques. ICCIE 2009, pp. 1520–1525 (2009)
4. Heitmeyer, C., Bharadwaj, R.: Applying the SCR requirements method to the light control case study. J. Univers. Comput. Sci. 6, 650–678 (2000)
5. Heimdahl, M.P.E., Leveson, N.G., Reese, J.D.: Experiences from specifying the TCAS II requirements using RSML. 17th Digital Avionics Systems Conference, Nov 1998