Automated enrichment of SDL specifications with MSCs