RBZ Embedded Logics, Reserach