cav08-sequentialization.pdf