Vitalsource Technologies, Inc. High-Level Models of Unconventional Computations: A Case of Plasmodium