On the synthesis of synchronizable finite state machines with partial scan