Converting LabSat Scenarios