Search results
IEEE Transactions on Automatic Control > 2014 > 59 > 2 > 341 - 354
IEEE Transactions on Software Engineering > 2012 > 38 > 2 > 478 - 496
IEEE Transactions on Software Engineering > 2012 > 38 > 4 > 889 - 908
IEEE Transactions on Parallel and Distributed Systems > 2012 > 23 > 2 > 211 - 218