Synthesis of modular mechatronic products: a testability perspective | IEEE Journals & Magazine | IEEE Xplore