There is a series of paper by Philippe Gaucher on the arxiv that deal with model categories in the context of theoretical computer science. E.g.:

 - Abstract homotopical methods for theoretical computer science (<a href="http://arxiv.org/abs/0707.1449">0707.1449</a>)

> The purpose of this paper is to collect the homotopical methods used in the development of the theory of flows initialized by author's paper ``A model category for the homotopy theory of concurrency''.

 - A model category for the homotopy theory of concurrency (<a href="http://arxiv.org/abs/math/0308054">math/0308054</a>)

> We construct a cofibrantly generated model structure on the category of flows such that any flow is fibrant and such that two cofibrant flows are homotopy equivalent for this model structure if and only if they are S-homotopy equivalent. This result provides an interpretation of the notion of S-homotopy equivalence in the framework of model categories.

I guess it is just because of my ignorance, but to me this was unexpected.