Title: Translating SDL into Pr T-Nets