Walt Disney's Sleeping Beauty: Extended Version