Article SUPERIORITY AREAS ANALYSIS OF SEQUENTIAL HEURISTIC METHODS FOR GETTING SEPARATIONS DURING LOGICAL MULTICONTROLLES DESIGN