SEARCH Articles Figures Tables Concurrence Concurrency Concurrent Concurrent modeling Model developed