Minimal coverings for incompletely specified sequential machines