Modeling, verification and evaluation of multiprocessor scheduling using extended CBR LA algorithm | IEEE Conference Publication | IEEE Xplore