Characterization of co-observable languages and formulas for their super/sublanguages | IEEE Journals & Magazine | IEEE Xplore