Heller, B., Scott, C., Mckeown, N., Shenker, S., Wundsam, A., Zeng, H., Whitlock, S., Jeyakumar, V., Handigol, N., McCauley, M., Zarifis, K. and Kazemian, P. Leveraging SDN Layering to Systematically Troubleshoot Networks. HotSDN 2013.