FramewORk for Embedded System verificaTion