Transparent categories and categories of transition systems | IEEE Conference Publication | IEEE Xplore