11. Thread modeling

TBD