Session 5: Application of SPLs (Chair: David Benavides)