Development of Halal Audit Information System (HAIS) and its Implementation Evaluation Based on Time-cost Trade-off Using Integer Linear Programming (ILP) | IEEE Conference Publication | IEEE Xplore