Practical Formal Verification of Domain-Specific Language Applications. - Greg Eakman; Howard Reubenstein; Tom Hawkins; Mitesh Jain; Panagiotis Manolios (NFM, 2015)