Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models