Doron Drusinsky. TLtoSQL: Rapid post-mortem verification using temporal logic to SQL code generation in the Eclipse PDE. In 4th IEEE International Conference on System of Systems Engineering, SoSE 2009, Albuquerque, NM, USA, 30 May - 03 Jun 2009. pages 1-5, IEEE, 2009. [doi]
Abstract is missing.