Reactive multi-tasking paradigm synthesize sticky models