REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems. - Dinko Ivanov; Marin Orlic; Cristina Cerschi Seceleanu; Aneta Vulgarakis (ASE, 2010)