Invited Talks.- A Logical Account of NGSCB.- Composing Event Constraints in State-Based Specifica...