“…The LSC framework includes both formal semantics and software development tools and is based on "multi-modal scenarios, each corresponding to an individual requirement, specifying what can, must, or may not happen following certain sequences of events" A c c e p t e d M a n u s c r i p t (Harel, Marron, and Weiss, 2012). LSC is a dual formalism to that of statecharts (Harel, 1988(Harel, , 2007, which came up as a candidate formalism in our earlier work (Edelman, 2011;Goldstein et al, 2010;Kolodny et al, 2015;Edelman, 2015b). Whereas statecharts focus on states that a system can occupy (including a superposition or Cartesian product of several states at once), Live Sequence Charts focus on processes and events.…”