Language engineering as an enabler for incrementally defined formal analyses | IEEE Conference Publication | IEEE Xplore