Toward Formalizing The Emergent Behavior in Software Engineering. - Mohamed Toufik Ailane; Mohammad Abboush; Christoph Knieke; Abram Lawendy; Andreas Rausch 001 (SESoS/WDES, 2021)