The site of Sean Kauffman Ph.D., a researcher in the area of real-time embedded software