@InProceedings{ABATe_Automatic_Behavioral_Abstraction_Technique_to_Detect_Anomalies_in_Smart_Cyber_Physical_Systems,
	author = "Sandeep Nair Narayanan, Anupam Joshi, and Ranjan Bose",
	title = "{ABATe: Automatic Behavioral Abstraction Technique to Detect Anomalies in Smart Cyber-Physical Systems}",
	month = "October",
	year = "2020",
	booktitle = "IEEE Transactions on Dependable and Secure Computing",
}