@inproceedings{alghoniemy2012design,