This paper has presented a generic method to construct reduced timed models of networked automation systems; these models are small enough to avoid (or limit) combinatory explosion, while providing meaningful and trustworthy results, when they are checked