Title: Formal method integration via heterogeneous notations