Liyong Lin, Alin Stefanescu, Rong Su, Weilin Wang, Ahmad Reza Shehabinia: Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems. ACC 2014: 2047-2052