[knavely]

I have been a fan of John Hughes (the creator of quickcheck). He has some awesome presentations of his real life testing consultant work on crazy mission critical systems. He likely has some stuff that for your criteria…

Just some quick search result papers: property testing for race conditions https://smallbone.se/papers/finding-race-conditions.pdf

Testing telcos https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.14...