Bashar Nuseibeh, "State of the Journal", IEEE Transactions on Software Engineering vol. 38 no. , p. 1-2, , 2012