Formally specifying and checking policies and anomalies in service function chaining F. Valenza, S. Spinoso, R. Sisto (2019) Formally specifying and checking policies and anomalies in service function chaining, In: JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, pp. 1-14, ISSN: 1084-8045