Filled Acceleo template, corrections for CPN Tools and Uppaal