The realization problems related to weighted transducers over strong bimonoids | IEEE Conference Publication | IEEE Xplore