PAMELA: An annotation-based Java modeling framework. - Sylvain Guérin; Guillaume Polet; Caine Silva; Joël Champeau; Jean-Christophe Bach; Salvador Martínez 001; Fabien Dagnat; Antoine Beugnard (Sci. Comput. Program., 2021)