Added latex files for the tacas paper