Avatar SysML v2: last version with the flat transition server (before composite states / library functions), reference for the article