An efficient procedure for the synthesis of fast self-testable controller structures