FramewORk for Embedded System verification | Publicación