Vitalsource Technologies, Inc. Max-linear Systems: Theory and Algorithms