Updated interface to ISATLib