" A structure utilizing inexact primal-dual interior-point method for analysis of linear differential inclusions / " Janne Harju Johansson.