Use new behavior specification format