Vlad Rusu, Gilles Grimaud, Michaël Hauspie. Proving Partial-Correctness and Invariance Properties of Transition-System Models. In TASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering. IEEE Xplore, Guangzhou, China, Aug 2018.