Bianculli, et al.. Syntactic-semantic Incrementality for Agile Verification. Elsevier BV, 2015, doi:10.1016/j.scico.2013.11.026.