Synthesis of Output Feedback Controllers for Bisimilarity Control of Transition Systems. - Nam Tung Vu; Shigemasa Takai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016)